@font-face {
    font-family: 'mzxfont';
    src: url('mzxfont.eot');
    src: url('mzxfont.eot?#iefix') format('embedded-opentype'),
         url('mzxfont.woff') format('woff'),
         url('mzxfont.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

#onlineHelp {
    width: 512px;
    height: 550px;
    padding: 3px 76px;
    margin: auto;
    background-color: #555;
    overflow: auto;
    white-space: pre;
    line-height: 14px;
    font-family: mzxfont;
    font-size: 14px;
    color: #FFF;
}

#onlineHelp p.centered {
    display: block;
    margin: 0px;
    text-align: center;
}

#onlineHelp a.link {
    color: #FFFFFF;
    text-decoration: none;
}
#onlineHelp a.link:before {
    padding-right: 8px;
    content: url('help/linkArrow.png');
}
#onlineHelp a.link:hover {
    color: #FF55FF;
    /* text-decoration: underline; */
}

#onlineHelp hr {
    height: 2px;
    margin: 14px 8px;
    border: none;
    background-color: #000;
}
#onlineHelp div.searchResult {
    opacity: .5;
    -ms-filter:"progid:DCImageTransform.Microsoft.Alpha(Opacity=50)";
    filter: alpha(opacity=50);
}
#onlineHelp div.searchResult:hover {
    opacity: 1.0;
    -ms-filter:"progid:DCImageTransform.Microsoft.Alpha(Opacity=100)";
    filter: alpha(opacity=100);
}

.f0 { color: #000000; }
.f1 { color: #0000AA; }
.f2 { color: #00AA00; }
.f3 { color: #00AAAA; }
.f4 { color: #AA0000; }
.f5 { color: #AA00AA; }
.f6 { color: #AA5500; }
.f7 { color: #AAAAAA; }
.f8 { color: #555555; }
.f9 { color: #5555FF; }
.fa, .fA { color: #55FF55; }
.fb, .fB { color: #55FFFF; }
.fc, .fC { color: #FF5555; }
.fd, .fD { color: #FF55FF; }
.fe, .fE { color: #FFFF55; }
.ff, .fF { color: #FFFFFF; }

.b0 { background-color: #000000; }
.b1 { background-color: #0000AA; }
.b2 { background-color: #00AA00; }
.b3 { background-color: #00AAAA; }
.b4 { background-color: #AA0000; }
.b5 { background-color: #AA00AA; }
.b6 { background-color: #AA5500; }
.b7 { background-color: #AAAAAA; }
.b8 { background-color: #555555; }
.b9 { background-color: #5555FF; }
.ba, .bA { background-color: #55FF55; }
.bb, .bB { background-color: #55FFFF; }
.bc, .bC { background-color: #FF5555; }
.bd, .bD { background-color: #FF55FF; }
.be, .bE { background-color: #FFFF55; }
.bf, .bF { background-color: #FFFFFF; }