HTML { font-family: times,serif; } 
BODY {  background-color: #ddddff }
H1,H2,H3,H4 { font-family: Helvetica,Arial }
H1 {  color: DarkBlue }
H2 { font-size: 100% }
DIV { margin-left: 5%; margin-right: 5% }
A.internal { color: #0077bb }
A.hyperspec { color: #442266 }