body { color: "#0000FF"; background: "#CCCCFF" ; 
       margin-left: 10%; margin-right: 10%;
       font-family: Arial;}
:link { color: "#330066" }  /* for unvisited links */
:visited { color: "#6600FF" } /* for visited links */
:active { color: "#6600FF" } /* when link is clicked */
:hover { color: rgb(0, 96, 255) } /* when mouse is over link */

h1 { margin-left: -8%;}
h2,h3,h4,h5,h6 { margin-left: -4%; }
margin-top: 8em; margin-bottom: 3em;
p { text-indent: 2em; margin-top: 0; margin-bottom: 0; }
pre { font-family: Arial; }
