pre {font-family: Arial;}

td.smaller {font-size: 80%; vertical-align: top}



td.main {vertical-align: top}

table.navtable {float:left;
		font-size: 90%;
		font-weight: bold;
		horizontal-align: left;
		background-color: #EEEEEE;
		list-style-type: none;
		margin-right: 10px;
		}

p.smaller { font-size: 70%;}

p.myname {
		float: right;
		margin-left: 10px;
		}

p.navbar {		float: left; 
		background-color: #EEEEEE;
		width: 20em;}

a:hover 
   { 
	color: #FF0000;
	font-style: normal;
	
   }