/*
 * to avoid problems caused by different browsers using
 * different default stylings, we do an explicit CSS reset
 * to a known baseline, as documented in
 * http://meyerweb.com/eric/thoughts/2007/05/01/reset-reloaded/
 */
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, font, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td {
	margin: 0;
	padding: 0;
	border: 0;
	outline: 0;
	font-weight: inherit;
	font-style: inherit;
	font-size: 100%;
	font-family: inherit;
	vertical-align: baseline;
	background: transparent;
}
body {
	line-height: 1.5;
	color: black;
	background: white;
}
/* *** end of CSS reset *** */
body * {
	font-family: Palatino, Garamond, Serif;
	line-height: 1.33em;
}
h1 {
	font-size:125%;
	font-style: italic;
	padding-left:5%;
	background-image: url(images/peagreen.png);
	background-position: top left;
	background-repeat: repeat-x;
}
p {
	margin: 1em 5% auto 5%;
}
a { color:black;}
blockquote {
	margin: 1em 10% auto 10%;
	line-height: 1.33em;
}
ul { /* ul as part of running text, see later for navbar */
	margin: 1em 10% 1em 10%;
}
li {
	margin-top:0.5em;
}

table {
	border: 1px solid black;
	width:90%;
	margin: 1em auto 1em auto;
	border-collapse: collapse;
	}
td { 
	border: 1px solid black;
	padding: 2px 2px 2px 4px;
	vertical-align:middle;
	}
th {
	font-size: 110%;
	font-style: italic;
	line-height: 1.5em;
	}

.nav {
	float:left;
	width:19%;
	height:75px;
	text-align:center;
	background-image:url(images/navgradv.png); 
	background-repeat:repeat-x;
	border-left: 1px solid yellow;
	padding: 2px 2px 2px 1px;
}
.nav a {
text-decoration:none; display:block;
}
.nav a:hover {
	background-image: url(images/peagreen.png);
	background-position: top left;
	background-repeat: repeat-x;
	}
span.vis { color: yellow; font-size:110%; /* */ }
span.opt { color: white;  font-size:110%; }
span.sub { color: yellow; font-size:90%; }