body { margin-left: 15%; margin-right: 15%;
  margin-top: 4em; margin-bottom: 4em;
}
h2,h3,h4,h5,h6 { margin-left: -4%; }
h1,h2,h3,h4,h5,p,ul,ol,dl { font-family: sans-serif; }
h1 { font-size: 180%; }
h2,h3,h4,h5 { font-size: 120%; }
pre {
  margin-left: +2em;
  color: rgb(0,100,0); font-weight: bold;
  white-space: pre; font-family: monospace;
}
tt { color: green }
:link { color: rgb(160, 0, 0) }    /* for unvisited links */
:visited { color: rgb(160, 0, 0) } /* for visited links */
:active { color: rgb(160, 0, 0) }  /* when link is clicked */
:hover { color: rgb(255, 0, 0) } /* when mouse is over link */