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

.nopadding {
    padding: 0px;
    text-align: center;
    margin: 0px;
    border-width: 0px;
    border-spacing: 0px;
    border-style: none;
}

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

p {
	margin: 1.25 em 0;
}

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

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;
	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;
}

.current {color: #ff6600; text-decoration: none;}	/* 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;}
*/