.section     { line-height: 130% }
a:link       { color: #000000 }
a:visited    { color: #000000 }
a:active     { color: #0000ff }
a:hover      { color: #ff0000 }
a.title	     { color: #000000; text-decoration: none }
td.eqnum     { width: 10% }
pre.script   { line-height: 105% }
.pagetop   { page-break-before: always }