body { background-color: white }
a { text-decoration: none; color: #000099 }
a:hover { text-decoration: underline }
a[name] { text-decoration: none; color: black }
td.topbar { font-size: 120%; color: white; background-color: #668C93 }
td.navbar { font-size: 80%; background-color: #C9D9DC }
p.navtitle { font-size: 140%; color: red; padding: 0; margin: 0 0 0.5em 0; }
p.navbar { padding: 0; margin: 0.25em 0 0.25em 0; line-height: 1.15em; }
p.navbars { padding: 0; margin: 0.25em 0 0.25em 1em; line-height: 1.15em; }
p.navbarss { padding: 0; margin: 0.25em 0 0.25em 2em; line-height: 1.15em; }
span.alert { font-size: 120%; color: red; }