body	{ margin-left: 5%; margin-right: 5%; background: white; 
	font-family: "Times New Roman" "Garamond"; font-size: 100%;}
    
body 	{ text: black; link: blue; vlink: magenta }

A 	{ text-decoration:none }

A:hover { color:gold }

pre	{ font-size: 90%; background-color: #e0e0e0; }

h1	{ font-family: "Times New Roman", "Garamond"; font-size: 125%; }
    
table	{font-family: "Times New Roman", "Garamond"; font-size: 100%; }
    
em	{ font-family: "Times New Roman", "Garamond" font-size: 100%; }

ul	{ font-family: "Times New Roman", "Garamond" font-size: 100%; }

ol	{ font-family: "Times New Roman", "Garamond" font-size: 100%; }
 
BGCOLOR="#e0e0e0"