h1 {
  margin-left: 80;
  color: #800000;
  font-family: helvetica;
  font-style: bold;
  font-size: 18pt;
  margin-bottom: 10pt;
  }
  
  h2 {
  margin-left: 80;
  color: #800000;
  font-family: helvetica;
  font-style: bold;
  font-size: 16pt;
  margin-top: 1em;
  }

  h3 {
  margin-left: 80;
  color: #800000;
  font-family: helvetica;
  font-style: italic;
  font-size: 12pt;
  }
  
  pre {
  margin-left: 100;
  font-family: courier;
  font-size: 10pt;
  margin-left: 1em;
  color: navy
  }
  
  p {
  margin-left: 100;
  margin-right: 20;
  font-family: helvetica;
  color : navy;
  text-align: justify
  }

  p.note {
  margin-left: 3em;
  margin-right: 3em;
  }

    
  ul {
  font-family: helvetica;
  color : navy;
  }
     
  i.type {
  font-family : courier;
  color: #800000;
  }