/* 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); } 

p.ref {
  font-size: 90%}
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%}

@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;}
  }