/* style.css - a simple style sheet */
body {
  margin-left: 10%; margin-right: 10%; font-family: Verdana, sans-serif; }
  h1 { margin-left: -8%; font-family: Garamond, "Times New Roman", serif; }
  h2 { margin-left: -4%; font-family: Garamond, "Times New Roman", serif; }
  h3,h4,h5,h6 { margin-left: -4%; }
  p { margin-top: 0; margin-bottom: 1; }
  div.box { border: solid; border-width: thin; width: 100%; }
  div.color {background: rgb(204,204,255); padding: 0.5em; border: none; }
  dl { border: 3px double #ccc; padding: 0.5em; } 
  dt {font-weight: bold; color: green; } 
  dt:before { content: "\00BB \0020"; color: red; } 
  dt:after { content: "\00AB"; color: red; } 
  dd { margin: 0; padding: 0 0 0.5em 0; }
  color: black; background: white;
}