@font-face {
    font-family: 'Fixedsys';
    src: url('fsex300-webfont.woff2') format('woff2'),
         url('fsex300-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

.fixedsys-page, .fixedsys-page * {
    font-family: 'Fixedsys', monospace;
    margin: 0;
    padding: 0;
    color: #00FF00; /* bright green */
}

.robcoline {
    width: 50%;          /* width of the line relative to the page */
    border: none;        /* remove default border */
    height: 3px;         /* thickness of the line */
    background-color: #00FF00; /* line color */
    margin: 20px auto;   /* center the line with spacing above/below */
}

html, body {
    font-family: 'Fixedsys', monospace;
    margin: 0;
    padding: 0;
}