H1 {font-size: 18pt}
H2 {font-size: 16pt}
H3 {font-size: 14pt}
H4 {font-size: 12pt}
body {background: white; color: black; font-size 12pt}
a {text-decoration: none}
a:hover {text-decoration: underline}
dfn {color: green; font-style: normal; font-weight: bold}
.header {font-family: Arial; font-size: 10pt}
.footer {font-family: Arial; font-size: 10pt}
a.main {color: blue}
a.applet {color: red}
a.data {color: red}
a.biography {color: red}
a.resource {color: red}
a.table {color: red}
a.graph {color: red}
a.ancillary {color: red}
a.external {color: navy}
OL.exercise {list-style-type: lower-alpha}
UL.applet {list-style-image: url(applet.gif)}
UL.external {list-style-image: url(external.gif)}
UL.quote {list-style-image: url(quote.gif)}
UL.equation {list-style-type: none}
P.equation {text-indent: 20pt}
P.graphic {text-indent: 20pt}
var.vector {font-weight: bold}
var.real {font-style: normal; font-weight: bold}
var.collection {font-family: cursive}
table {border-style: solid; border-width: 1px}
td {border-style: solid; border-width: 1px}
th {font-weight: normal; background: silver; border-style: solid; border-width: 1px}
table.home {border-style: none; width: 100%}
th.home {background: red; color: white; border-style: none; vertical-align: top; width: 100%}
td.contents {border: none; background: silver; vertical-align: top; width: 35%}
td.welcome {border: none; vertical-align: top; width: 65%}
img {border-style: none}
img.symbol {vertical-align: middle}