body       { margin-left: 3em ; margin-right: 3em ; margin-top: 2em }
p          { text-align: left }
p.byline   { text-align: center }
p.abstract { margin-left: 4em; margin-right: 4em }
.code      { font-family: "Bitstream Vera Sans Mono" courier monospace ;
             font-size: smaller }
.sample    { font-family: "Bitstream Vera Sans Mono" courier monospace ;
             font-size: smaller ;
             background-color: #bbbbbb ;
             padding: 4pt }
.oldcrt    { font-family: "Bitstream Vera Sans Mono" courier monospace ;
             font-size: smaller ;
             background-color: #000 ; color: #4F4 ;
             padding: 4pt }
.progname  { font-weight: bold }
.email     { font-family: "Bitstream Vera Sans Mono" courier monospace }
p.foot     { border-top: medium solid black ; padding-top: 1em ;
             text-align: right }
h1         { text-align: center ;
             counter-reset: chap-num }
h2         { font-family: "Bitsteam Vera Sans" Helvetica sans-serif ;
             counter-increment: chap-num ;
             counter-reset: sect-num }
h3         { font-family: "Bitstream Vera Sans" Helvetica sans-serif ;
             counter-increment: sect-num }
dt         { font-weight: bold }
h2:before  { content: counter(chap-num) ". " }
h3:before  { content: counter(chap-num) "." counter(sect-num) ". " }
a:link     { color: #7777ff ; font-weight: bold ; text-decoration: none }
a:visited  { color: #7777aa ; font-weight: bold ; text-decoration: none }
a:active   { color: red     ; font-weight: bold ; text-decoration: none }
a:hover    { color: #7777ff ; font-weight: bold ; text-decoration: underline }