/* csstyle.css - style sheet for classic stickmen */
body {
  margin-left: 5%; margin-right: 5%;
  color: black; background: white;
  font-family: Verdana, sans-serif;
}
h1 {
}
pre { font-family: monospace; }
h1,h2,h3,h4,h5,p,ul { font-family: sans-serif; }
div.box { border: solid; border-width: thin; width: 100% }
div.color {
    background: rgb(204,204,255);
    padding: 0.5em;
    border: none;
  }
:link { color: rgb(0, 0, 153) }  /* for unvisited links */
:visited { color: rgb(153, 153, 153) } /* for visited links */
a:active { color: rgb(255, 0, 102) } /* when link is clicked */
a:hover { color: rgb(0, 96, 255) } /* when mouse is over link */