body {
        background-color:#ffffff;
        font-family:'Helvetica',san-serif;
        font-size:12pt;
    }
    
    code {
        background-color: #EEEEFF;
    }
    
    a {
        text-decoration:none;
        text-color:blue;
    }
    
    a:hover {
        text-decoration:underline;
    }
    
    a:visited {
        color:#0000a0;
    }

    h1 {
        margin: 12px 12px 12px 12px;
        font-weight:normal;
        font-size:32pt;
    }

    
    h2 {
        margin: 12px 12px 12px 12px;
        font-weight:normal;
        font-size:24pt;
    }
    
    h3 {
        margin: 12px 12px 12px 12px;
        font-weight:normal;
        font-size:18pt;
    }
    
    h4 {
        margin: 12px 12px 12px 12px;
        font-weight:normal;
        font-size:16pt;
    } 
    
    h5 {
        margin: 12px 12px 12px 12px;
        font-weight:normal;
        font-size:14pt;
    } 

  section {
      font-size: 12pt;
  }

  p {
    margin: 12px 12px 12px 12px;
    font-size: 12pt;
  }
  
  table {
    font-size: 12pt;
    text-align: left;
  }
  
  .tableproof {
    color:#0000bb;
    margin: 12px 12px 12px 12px;
    font-size: 12pt;
    text-align: left;
  }

  
  td {
	  text-align: left;
      padding: 2px;
  }
  
  th {
      border-bottom: thin solid;
	  text-align: center;
      padding: 2px;
  }
  
  ul, ol {
    margin: 12px 12px 12px 12px;
    font-size: 12pt;
  }
  
  	pre {
	    overflow: hidden;
	    font-size: 18px;
	    margin: 25px 25px 25px 25px;
	    padding: 10px;
	    border: 0px solid;
	    color: #0000AA;
	    width:80%
  	}
 
  header_line {
    font-size: 12px;
    margin: 10px 10px 10px 10px;
  }
  strong {
	color: red;
}