/* --- bvstyle.css ---  */
/* background: #cccccc; */
/* font-size: medium;   do NOT use - browsers handle differently */
/* font-weight: 400;    */
/* color: #000066;      */
body {
      background: #cccccc;
      font-family: Helvetica, Arial sans-serif;
      font-size: 14pt;
      color: #000066;
}
code {
      font-family: Courier monospace;
      font-size: 14pt;
}
h1 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 200%;
}
h2 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 175%;
}
h3 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 150%;
}
h4 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 125%;
}
h5 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 100%;
}
h6 {
      font-family: Helvetica, Arial sans-serif;
      font-size: 80%;
}