body { margin-top:10px; margin-bottom:10px; font-family:lucida console, courier,arial; }

a:link { color:#74685A; text-decoration:none; }
a:visited { color:#990000; text-decoration:underline; }
a:active { color:#74685A; text-decoration:underline; } 

h1,h2,h3,h4,h5,h6 { margin-top:0.5ex; margin-bottom:0.5ex; }

form { margin-top:0.5ex; margin-bottom:1ex; }

ul {  margin-top:0.5ex; margin-bottom:0.5ex; margin-left:3ex; } 

pre { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }
pre.normal { color:#000000; }

tt { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }