/*
body	{background-color: #ffffee; 
       	 font-family: Georgia, "Times New Roman", Times, serif;
         }
*/

{background-color: #ffffff;}

body {background-color: #ffffff;
      font-family: sans-serif, helvetica, arial;
      padding-left:20px; float:center; width:80%}

tt,kbd,code {font-size: 12pt;}

pre     {font-size: 11pt;}

h1 {padding-top:20px}
 
/* h2 {padding-top:10px} */

li {padding-bottom: 5pt}