body {
    font-family: sans-serif;
    font-size: 11pt;
    margin: 0px auto;
    color: #839496;
    background: #002b36;
    max-width: 44em;}
a:link {color: #2aa198;}
a:visited {color: #6c71c4;}
code {color: #b58900; font-family:monospace; font-size: 10pt;}
.f1 { color: #AA0000; }
.f2 { color: #00AA00; }
.f1 > .bold,.bold > .f1 { color: #FF5555; font-weight: normal; }
.f2 > .bold,.bold > .f2 { color: #55FF55; font-weight: normal; }