font, table, li, ol, ul, p, br, form, textarea {
	/* removed input */
	font-size: 13px;
	line-height: 15px;
	text-align: left;
	word-spacing: 1px;
	font-family: Verdana, Geneva, Arial, helvetica, san-serif;
	letter-spacing: 0px;
}

ul, ol {
	margin-top: 3px;
	/* margin-bottom: 0 */
}

p {
	margin: 1.25 em 0;
}

th {
	text-align: center;
	font-size: 13px;
	font-family: Verdana, Geneva, Arial;
	font-style: bold;
}

td {
	font-size: 13px;
	line-height: 12px;
	word-spacing: 1px;
	font-family: Verdana, Geneva, Arial, helvetica, san-serif;
	letter-spacing: 0px;
}

.tight {
	font-size: 11px;
	border-collapse: collapse;
	padding-top : 4px;
	padding-bottom : 4px;
	padding-left : 4px;
	padding-right : 4px;
	border-spacing: 0px;
	border-style: ridge;
	border-width: 1px;
	border-color: Blue;
}

.feature {
	text-align: center;
}

.topic {
	font-size: 12px;
	/* font-style: bold; */
	text-align: center;
	border-style: none;
	border-width: 0px;
}

.quote {
	font-size: 12px;
	font-style: bold;
}

h1 {	
	font-size: 18px;
	line-height: 12px;
	text-align: left;
	word-spacing: 3px;
	font-family: Verdana, Geneva, Arial;
	font-style: italic;
	color: 003366;
	letter-spacing: 1px;
}

h2 {	
	font-size: 13px;
	line-height: 12px;
	text-align: left;
	word-spacing: 2px;
	font-family: Verdana, Geneva, Arial;
	font-style: italic;
	color: 003366;
}

h3 {	
	font-size: 13px;
	line-height: 1px;
	text-align: left;
	word-spacing: 2px;
	font-family: Verdana, Geneva, Arial;
	font-style: bold;
	color: 003366;
}

body {
	margin: 0px;
	padding: 0px 0px;
	marginheight: 0px;
	background-color: #FFFFFF;
}

.assert {color: blue;}
.result {color: maroon; font-style: italic;}

.small {	
	font-size: 9px;
	line-height: 12px;
	text-align: left;
	word-spacing: 1px;
	/* font-family: Verdana, Geneva, Arial, helvetica, san-serif; */
	letter-spacing: 0px;
}

.big {	
	font-size: 13px;
	line-height: 15px;
	text-align: left;
	word-spacing: 2px;
	/* font-family: Verdana, Geneva, Arial, helvetica, san-serif; */
	font-style: bold;
	letter-spacing: 0px;
}

.menulink { padding-bottom : 8px; text-align:right; }

.jumplink {
	padding-bottom : 8px;  text-align:right;
}

.currentmenulink {color: #FF6600; text-decoration: none; text-align:right; }	/* for "current" link in nav bar */

a {text-decoration: underline;}

A:link {color: #003366;}
A:visited {color: #003366;}							/* ? */
A:active {color: #009933; text-decoration: none;}	/* green */
A:hover {color: #009933; text-decoration: none;}
/*
A:active {color: #003366;}
A:visited {color: #707070;}
A:hover {color: #009933; text-decoration: none;}
*/