html {
       font-family: Arial, Verdana, sans-serif;
       font-size: 10pt;
/*       font-family: Verdana, Times, serif; */
/*       font-size: 10pt; */
       margin-left: 40pt;
       margin-right: 45pt;  
}

pre {
       border: 1pt solid #AEBDCC;
       background-color: #F3F5F7;
       padding: 5pt;
       font-family: courier, monospace;
       font-size: 9pt;
       margin-left: 36pt;
       margin-right: 36pt;
}

 p,li {
       margin-left: 1.5 cm;
       margin-right: 1.5 cm;
     }
 .author, .date {
     font-size: 8pt;
     margin-left: 0pt;
   }

h1 {color: darkblue; 
   }