html, body  {
font-family: Verdana, Arial, Helvetica;
font-size: 0.9em;
color: #111;
}

a:link    { color: #00C; }
a:visited { color: #00C; }
a:hover   { color: #00C; background: #DDF; }
a:active  { color: #000; }

span.rpath { font-size: 0.85em; font-style: italic; color: #020; font-weight: bolder; border-bottom: thin solid #090; }

span.instr { font-size: 0.9em; font-variant: small-caps; color: #600; font-weight: bolder; }

code { font-size: 12px; }
pre.programlisting { font-size: 12px; }