h1 { 
   color : blue  ;
   text-align : left ;
   font-weight : bold ; 
   font-size : 150% ;
   margin-top: 8px ;
   margin-left : 24px ;
   margin-bottom: 8px ;
}

body {
   font-family : times ;
   font-size : 12pt ;
}

ul {
   margin-left : 24px ;
   list-style-type : disc ;
}

p.indent {
   margin-left : 24px ;
   margin-bottom : 0px ;
}

xmp {
   margin-top : 0px ;
   margin-left : 24px ;
   font-family : courier ;
   font-size : 10pt ;
   color : brown ;
}

tt {
   font-family : courier ;
   color : brown ;
}

a.nav {
   font-size : 12pt ;
   color : grey ;
   line-height : 14px ;
   margin-left : 0px ;
   text-decoration : none ;
}

span.nav{
   font-size : 12pt ;
   color : grey ;
   line-height : 14px ;
   text-decoration : none ;
}