body{
	font-family:verdana;
	font-size:80%;
}

TD.NAVHEADER{
	font-size: 85%;
	font-weight: bold;
}

TD.NAVFOOTER{
	font-size:80%;
	font-weight: bold;
}

H1{
	font-size: 170%;
}

H1.sect1{
	font-size: 155%;
}

H2.sect2{
	font-size: 130%;
}


H3.AUTHOR{
	font-size:120%;
}	

.PROGRAMLISTING{
	background:#E8F9F0; padding:2; border: 1px; border-style: solid; border-color:black;
	font-size:14px;
}

.EMPHASIS{
	font-weight:bold; font-style:normal;
}

.filename{
	color:brown;
	font-size:14px;
}

a:link{color:blue;}
a:visited{color:blue;}
a:hover{color:red;}