/* CSS style sheet */

  body { 
    /* font-size: 0.8em;  */
    font-family: Verdana, sans-serif;
    margin-left:10%; 
    margin-right: 5%; 
    color: black;
    /* background: white; */
    background: top left no-repeat fixed url(WD.gif) #FFFFFF;
  }
  h1 { margin-left: -8%; }
  h2 { margin-left: -5%; }
  h3,h4,h5,h6 { margin-left: -3%; }
  em { font-style: italic; font-weight: bold; }
  strong { text-transform: uppercase; font-weight: bold; }
  u,ins {text-decoration: underline; color: rgb(192, 0, 0);}
  s,del {text-decoration: line-through; color: rgb(192, 192, 0);}
  q { font-style: italic; color: rgb(0, 0, 192); }
  .note {
    color: rgb(192, 101, 101);
    font-family: "Comic Sans MS", sans-serif;
  }
  pre {
     white-space: pre;
     color: #006600;
     font-family: monospace;
     font-weight: bold;
     margin-right: 0;
     margin-left: 0;
  }
  pre.bad {
     border: solid;
     border-width: 2px;
     border-color: red;
     margin-right: 5%;
     color: rgb(192, 101, 101);
  }
  blockquote {
    color: navy;
    font-family: "Comic Sans MS", sans-serif;
  }
  .figure { text-align: center }
  table {
    font-family: sans-serif;
    font-size: 80%;
    background: rgb(255,255,153);
  }
  td {
    font-size: 80%
  }
  div.box { border: solid; border-width: thin }
  div.color {
    background: rgb(204,204,255);
    padding: 0.5em;
    border: none;
  }

  div.contents {
    background: rgb(204,204,255);
    padding: 0.5em;
    border: none;
    margin-right: 5%;
  }

  p.changed {
    padding-left: 0.2em;
    border: solid;
    border-left-width: thin;
    border-color: red;
  }
  .add {color: rgb(192, 101, 101);
    padding-left: 0.2em;
    border-left-width:
    thin; border-color: red;
  }
  .del {
    color:#880088;
    text-decoration:line-through;
  }