/*experimenting with this style sheet*/
BODY {
  font-family: Arial, sans-serif;
  background: #FFFFE8;
  color: black;
  }
  P.copyright { 
  font-size: smaller 
  }
  @media all {
  A:link IMG, A:visited IMG { border: none }
  }
  A IMG { 
  color: white 
  }
  A:link {
    color:#041
  }
  A.offsite:link {
    color:#601
  }
  A:visited {
    color:#030303
  }
  DIV.main {
    margin-left: 10%;
  }
  DIV.main H1, DIV.main H2, DIV.main H3 {
    margin-left: -9%
  }
  CAPTION {
    font-style: italic
  }
  PRE {
    font-family: courier new, courier, monaco, monospace;
    font-size: 80%;
  }
  .top (
    font-style: italic
  }
  P.navbar {
    font-size: 80%;
    text-align: center
  }
  .expansion {
    font-style: italic;
    font-size: 80%
  }
  H2 { 
       font-family : Helvetica
  }
  H3 { 
       font-family : Helvetica
  }
 .comment {
       font-style: italic;
       color : white;
       background-color: gray;
  }
  .new {
       color : black;
       background-color: yellow;
  }
  .del {
       text-decoration : line-through
  }
  .policyfooter { 
  font-size: 70% 
  }