#BODY { background-color: white; font-family: sans-serif }
#CAPTION { font-size: large; font-weight: bold }
#H1 { font-family: helvetica; color: white }
#H2 { font-family: helvetica; color: white }
#H3 { font-family: helvetica; color: white }
#H4 { margin: 10pt; font-family: helvetica; color: white }
#HR { height: 6px; background-color: salmon; color: white }
#HR.sep { height: 1px; width: 95%}
#.add {color: green; font-weight: bold;}
#.center {text-align: center}
#.code { font-family: monospace }
a.nav:link {
color: black;
text-decoration: underline;
}
a.nav:visited {
color: black;
text-decoration: underline;
}
a.nav:hover {
color: black;
text-decoration: none;
}
a.nav:active {
color: black;
text-decoration: underline;
}