body { 
   color: black; 
   background: white; 
   font-size: 100%;
   margin-left: 8%; 
   margin-right: 8%;
   font-family: Verdana, Arial, Helvetica;
}
h1 {
   margin-left: -6%;
   font-size: 180%;
}
h2 {
   margin-left: -3%;
   font-size: 140%;
}
pre {
   width: 80;
   font-family: monospace;
}
div.box {
   background: #FFFCCC;
   padding: 0.5em;
   border: none;
}
p {
   line-height: 2.2ex;
}
table {
   font-family: Verdana, Arial, Helvetica;
   font-size: 100%;
}

a.plain { text-decoration: none; }
sub { font-size: smaller; }
sup { font-size: smaller; }

:link { color: blue; }
:visited { color: blue; }