/* Style sheet for simple notes
  
     Guus Schreiber
     
  */
  
  body {
    font-family: helvetica,arial,sans-serif; 
    margin-left: 2%; 
    margin-right: 2%}
      
  h1,h2,h3,h4 {
    color: rgb(0, 0, 102); } 
  
  h1 {text-align: center}
  
  p.ref {
    font-size: 90% ;
    margin-left: +2%}
  p.note {
    font-size: 90% ; 
    margin-left: +5% ; 
    margin-right: +5%}
  p.quote {
    margin-left: +10% ; 
    margin-right: +10%; 
    font-style: italic}
  p.caption { 
    text-align: center; 
    font-size: 80%;
    font-weight: bold;}
  
  dt {
    font-weight: bold}
  
  code {
    color: rgb(153, 0, 0); 
    font-weight: bold}
  
  pre {
    color: rgb(153, 0, 0); 
    font-size: 90%; 
    font-weight: bold; 
    margin-left: +2%}
  
  :link { color: #CC0000 }
  :visited { color: #900000}
  
  @media print {
    body {
      font-size: 11pt ;
      text-align: justify } 
    table {
      font-size: 10pt} 
    pre,code { 
      color: rgb(0, 0, 0); } 
    h1,h2,h3,h4,h5 {
      color: rgb(0, 0, 0); 
      text-align: left}
    h2.pb,h3.pb,h4.pb {
      page-break-before: always;}
    img.pb {
      page-break-before: always;}
    table.pb {
      page-break-before: always;}
    }