body				{ background-color: #999999; font-family: verdana, helvetica, geneva,sans-serif; }
td,th,div,span,p,table	        { font-family: verdana, helvetica,geneva,sans-serif; font-size: 12px; color: #003333; }
.head				{ font-family: verdana, helvetica,geneva,sans-serif; font-weight: bold; font-size: 13px; color: #990000; }
.notice				{ font-family: verdana, helvetica,geneva,sans-serif; font-size: 9px; color: #003333; }
pre,.code			{ font-family: monospace,sans-serif; font-size: 10px; color: #000033; }

A					{ font-family: verdana, helvetica,geneva,sans-serif; text-decoration: none; color: #990000; }
A:hover				{ font-family: verdana, helvetica,geneva,sans-serif; text-decoration: underline; color: #990000; }
A.nav				{ font-family: verdana, helvetica,geneva,sans-serif; text-decoration: none; color: #003333; }
A.nav:hover			{ font-family: verdana, helvetica,geneva,sans-serif; text-decoration: underline; color: #990000; }
A.navsel			{ font-family: verdana, helvetica,geneva,sans-serif; font-weight: bold; text-decoration: none; color: #003333; }
A.navsel:hover		{ font-family: verdana, helvetica,geneva,sans-serif; font-weight: bold; text-decoration: underline; color: #990000; }

.spacer1			{ font-family: monospace,sans-serif; font-size: 1px; }
.spacer2			{ font-family: monospace,sans-serif; font-size: 2px; }
.spacer3			{ font-family: monospace,sans-serif; font-size: 3px; }
.spacer5			{ font-family: monospace,sans-serif; font-size: 5px; }
.spacer10			{ font-family: monospace,sans-serif; font-size: 10px; }
.spacer20			{ font-family: monospace,sans-serif; font-size: 20px; }
.spacer40			{ font-family: monospace,sans-serif; font-size: 40px; }
.spacer60			{ font-family: monospace,sans-serif; font-size: 60px; }
.spacer80			{ font-family: monospace,sans-serif; font-size: 80px; }
.spacer100			{ font-family: monospace,sans-serif; font-size: 100px; }

div.spec {
margin-left:5%;
margin-right:25%;
}

div.browser {
	border: thin solid black;
	padding: 1em;
	margin-bottom: 2%;
	margin-top: 2%;
}