body { 
       background-color: #ffffff;
       color: #000000;
	   margin-right: 1cm;
	   margin-left: 1cm;
     }

tt { font-size: medium; }

p, td, br { font-size: small;
            font-family: sans-serif;
          }

h3 { color: #333399;
     font-size: medium;
     font-family: sans-serif;
   }
   
h4 { color: #333399;
     font-size: small;
     font-family: sans-serif;
   }

h2 { color: #333399;
     font-size: large;
     font-family: sans-serif;
   }
   
h1 { color: #000000;
     font-size: x-large;
     font-family: sans-serif;
   }

a:link { color: #333399; }
a[href]:hover { color: #6666BB;
          background-color: #eeeeee;
	}
a:visited { color: #333399; }
