body {
    font-family: sans-serif;
    font-size: 11pt;
    margin: 0px auto;
    color: #fff; background: #000;
    max-width: 44em;}
a:link {color: #5d9;}
a:visited {color: #d95;}
code {color: #ff0;}
.f1 { color: #AA0000; }
.f2 { color: #00AA00; }
.f1 > .bold,.bold > .f1 { color: #FF5555; font-weight: normal; }
.f2 > .bold,.bold > .f2 { color: #55FF55; font-weight: normal; }