body {
	margin:0px 15px 0px 15px;
	font-family:trebuchet ms, verdana, sans-serif;
}

a {
	text-decoration:none
}
a:hover {
	border-bottom:dashed 1px red;
}

/* paragraphs and anchors for nav bars */
td.nav {
	vertical-align: middle; }
p.nav {
	padding-top: 2px; 
}

p.subnav {
	padding-bottom: 1px;
}

a.nav,
a.nav:active {
	color: #4020f0;
	border: 1px #4020f0 solid; 
	text-decoration: none;
	font-style: normal;
	padding: 1px;
	padding-left: 4px;
	padding-right: 4px;
	margin: 4px; 
}

a.nav:visited {
	color: #551a8b;
	border: 1px #551a8b solid; 
}

a.nav:hover {
	background-color: #c1d2ff ; 
	color: #4422ff;
	border: 1px #4d7eff solid; 
}

/* Note: not a.navcur because this is for the button to the current
 * page, which should *not* be a link
 */
.navcur {
	color: #4020f0;
	font-weight: bold;
	/* background-color: #000038; */
	border: 2px #4020f0 solid;
	padding: 1px;
	padding-left: 4px;
	padding-right: 4px;
	margin: 4px; 
}

a.subnav,
a.subnav:active,
a.subnav:visited {
	color: #ed2323;
	text-decoration: none;
	font-style: normal;
/*	background-color: #330007; */
	border: 1px #ed2323 solid; 
	padding: 1px;
	padding-left: 4px;
	padding-right: 4px;
	margin: 4px; 
}

a.subnav:hover {
	/* background-color: #1b0001; */
	color: #ff2626;
	border: 1px #ff6a54 solid; 
}

	
/* homepage buttons */
a.hbut {
	text-align: center;
}

a.hbut,
a.hbut:active {
	color: #4020f0;
	background-color: #c1d2ff ; 
	border: 1px #4020f0 solid; 
	text-decoration: none;
	font-style: normal;
	padding: 6px;
	padding-left: 4px;
	padding-right: 4px;
	margin: 4px; 
}

a.hbut:visited {
	color: #551a8b;
	border: 1px #551a8b solid; 
	background-color: #c1d2ff ; 
}

a.hbut:hover {
	background-color: #dfe8ff; 
	color: #4422ff;
	border: 1px #4d7eff solid; 
}