body {
	background: #eee; color: black;
	font-family: helvetica,arial,sans-serif;
	margin-left: 10%; margin-right: 10%;
	}


.sans		{ font-family: helvetica,arial,sans-serif; }
.sc		{ font-size: 80%; }	/* small-caps */
a:link,a:visited		{ color: #0c0; }
a:link:hover,a:visited:hover	{ background: #ff8; }
h1,h2,h3,dt	{ font-weight: bold; }
h1 { background: #09098e; color: #fff; font-size: 120%; margin-top: 0;  margin-left: -8%; }
h2 { background: #ee8; font-size: 100%; font-style: italic; padding: 0.5ex; margin-left: -4%;  }
h3		{ font-size: 150%;  margin-left: -4%; }
dt		{ margin-top: 1em; }
.description	{ font-style: italic; width: 80%; }
.right		{ text-align: right; }
div		{ margin: 1ex 0; }
p.small		{ font-size: 90%; }
/*table		{ border-spacing: 0 2px; }*/
th		{ text-align: left; }
div.footer	{ font-size: 80%; font-style: italic; clear: both; }


/* menus */

table.menu	{ /* border-spacing: 2px 0; */ }
td.menu {
	background: #333399; color: white;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}
td.menu a:link,td.menu a:visited
	{ color: white; text-decoration: none; }
td.menu a:link:hover,td.menu a:visited:hover
	{ background: #333399; color: yellow; text-decoration: none; }
td.menuselect {
	background: #eee; color: green;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}

td.menuselect2 {
	background: green; color: black;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}

td.menu3 {
	background: green; color: white;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}
td.menu3 a:link,td.menu3 a:visited
	{ color: white; text-decoration: none; }
td.menu3 a:link:hover,td.menu3 a:visited:hover
	{ background: green; color: yellow; text-decoration: none; }
td.menuselect3 {
	background: green; color: yellow;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}

td.menu4 {
	background: green; color: white;
	text-align: left; 
	font-size: 50%; font-weight: bold;
	}
td.menu4 a:link,td.menu3 a:visited
	{ color: white; text-decoration: none; }
td.menu4 a:link:hover,td.menu3 a:visited:hover
	{ background: green; color: yellow; text-decoration: none; }
td.menuselect4 {
	background: green; color: yellow;
	text-align: center;
	font-size: 80%; font-weight: bold;
	}