body { color: black; background: #e4f4f4; }
body { margin-left: 6%; margin-right: 6%; }
body { text-justify: auto; }
body { font-family: Verdana, sans-serif; }
h1,h2 { font-family: Garamond, "Times New Roman", serif; }
pre { font-family: monospace; }
verbatim { font-family: monospace; color: black; opacity: 0.7; background-color: #40b3df; border:2px solid black; padding:8px; }
:link { color: rgb(0, 0, 255) }  /* for unvisited links */
:visited { color: rgb(205, 153, 51) } /* for visited links */
:active { color: rgb(255, 0, 102) } /* when link is clicked */
:hover { color: rgb(0, 0, 155) } /* when mouse is over link */