.section     { line-height: 130%; margin-left: 5%; margin-right: 5% }
a:link       { color: #000080; text-decoration: underline }
a:visited    { color: #800080; text-decoration: underline }
a:active     { color: #008000; text-decoration: underline }
a:hover      { color: #ff0000; text-decoration: underline }
td.eqnum     { width: 10% }
pre.script   { line-height: 105% }
td.source  { line-height: 110%; background-color: #d0d0d0; padding: 1.5ex }