body { font-family: Verdana, Arial, sans-serif; font-size: 12pt; }
 p { padding: 4px; }
 .liteborder { margin: 2px; padding: 4px; border: thin solid #000000; font-family: sans-serif; font-size: 12px; }
 .textwrite { margin: 5px; padding: 5px 10px; border: none; font-family: serif; }
 .codeexample { padding: 2px; border: none; background-color: #FFFF99; font-family: monospace; }
 .codeoutput { margin: 4px; padding: 4px; border: none; background-color: #FFFFEE; }
 h1 { font-family: serif; font-size: 22px; text-align: center; }
 .subhead { font-variant: small-caps; text-align: center; }
 a.chapter { font-family: sans-serif; font-size: 20px; }
 a:link { color: blue; }
 a:visited { color: red; }
 a:active { color: green; }
 a:hover { color: blue; text-decoration: none; }
 a:visited:hover { color: red; text-decoration: none; }
 p.example:first-letter { color: red; }
 p.example:first-line { color: green; }
 a.example1:link { text-decoration: underline, font-size: 1em; }
 a.example1:hover { text-decoration: none; font-size: 2em; }
 a.greenhilite:link { color: blue; text-decoration: underline; }
 a.greenhilite:visited { color: purple; text-decoration: underline; }
 a.greenhilite:hover { color: green; text-decoration: underline; }
 OL.o { list-style-type: upper-roman; }
 OL.o OL { list-style-type: upper-alpha; }
 OL.o OL OL { list-style-type: decimal; }
 OL.o OL OL OL { list-style-type: lower-alpha; }
 OL.o OL OL OL OL { list-style-type: lower-roman; }