body { background: #fdfdfd }
a:active { color: #ddd; font-weight: bold }
a:link { color: #660000; text-decoration: none }
a:visited { color: #660000; text-decoration: none }
strong.keyword { color: Red; }
p.example      { text-indent: 1em; 
                 color: Navy;
                 font-weight: bold;
                 font-family: monospace; }
code           { color: Navy;
                 font-family: monospace; }
code.example   { color: Navy;
                 font-weight: bold;
                 font-family: monospace; }
code.operator  { color: Navy;
                 font-family: monospace; 
                 font-weight: bold; }