BODY{
   margin-left:2em;
   margin-right:2em;
   line-height:1.5em;
   }
pre          { margin-left: 1em }
h4           { margin-left: 0.5em }
dl           { margin-left: 1em }
table        { margin-left: 1em }
h3           { margin-left: 0em; margin-right: 0em }
p            { margin-left: 1em; margin-right: 0em }

a:link{
  color: #00f;
  text-decoration: none;
}
a:visited{
  color: #00f;
  text-decoration: none;
}
a:hover{
  color: #f00;
  text-decoration: underline;
}
a:active{
  color: #0ff;
  text-decoration: underline;
}
