html, body, div, table, tr, td, th {

	font-family : Arial, Helvetica, sans-serif;

	font-size : 13px;

}



.mainnav	{

border: 1px solid black; height: 100px; width: 800px;

}



.headnav	{

	background-color: #C0C0C0;

	font-weight : bold;

	

	padding: 2px 2px 2px 2px;

	}



A.headnav:LINK, A.headnav:VISITED	{

	color: #000000;

	text-decoration: none;

}



A.headnav:HOVER, A.headnav:FOCUS	{

	color: BLUE;

	text-decoration: underline;

}



.headTitle	{

	font-size: 18px;

	font-weight: bold;

	

}

.subTitle	{

		font-size: 15px;

	font-weight: bold;

	color: blue;

}



			p.skip {margin-top: 1.0ex}

			code.element {color: green}

			*[class=attr] {color: purple}