body {  font-family: "Courier New", Courier, mono; line-height: 130%; background-color: #FFFFFF; background-image: url(pbg.jpg)}
h1 { font-family: "Courier New", Courier, mono}
h2 { font-family: "Courier New", Courier, mono}
h3 { font-family: "Courier New", Courier, mono; font-size: small}
p {font-family: "Courier New", Courier, mono; line-height: 130%}
.nav {  font-family: "Courier New", Courier, mono; font-size: small}
.here {  font-family: "Courier New", Courier, mono; font-size: xx-small}
.line {color: #990000}
pre {  font-family: "Courier New", Courier, mono; line-height: 130%}
a:link {  font-family: "Courier New", Courier, mono; color: #990000; text-decoration: underline}
a:hover {  background-color: #FFFF00}
a:visited {  color: #FF0000}