body
   {
       font-size:11pt;
       font-family: times;
       font-style: normal;
       font-variant:normal;
       margin-top: 25;
       margin-bottom: 20;
       margin-left:20;
       margin-right:20;
       width: 600;
   }
   
   .mycode
   {
       font-size:11px;
       background-color:#EEEEFF;
       border:1px solid #BBDDDD;
       padding:8px;
       font-family: Arial,Helvetica,sans-serif;
   }
   
   code
   {
       font-size:10pt;
   }