/*BODY {font-size: small;background-color: #FFF; font-family:sans-serif,Verdana;}*/
BODY {
/*	font-size: small;*/
	background-color: #FFF;
	font-family:sans-serif,Verdana;
}
p.title {font-size: 36pt; color: blue;}
a {color: #0000FF}
a:active {color: #FF0000}
a:visited {color: #800000}
p {margin-top: 0; margin-bottom: 0.5em}
p.small {
	font-size: small;
	font-family: sans-serif, Tahoma;
	margin-left 215px;
}
h1 {
    text-align: center;
    vertical-align: bottom;
    font-family:Georgia, serif;
}
h1.left {
    text-align: left;
    vertical-align: bottom;
    font-family:Georgia, serif;
}
h2 {
    text-align: center;
    vertical-align: top;
    margin-top: 0;
    margin-bottom: 0;
    font-family:Georgia, serif;
}
h2.left {
    text-align: left;
    vertical-align: top;
    margin-top: 0;
    margin-bottom: 0;
    font-family:Georgia, serif;
}
h3 {
    text-align: center;
    vertical-align: top;
    margin-top: 0;
    margin-bottom: 0;
    font-family:Georgia, serif;
}
h3.left {
    text-align: left;
    vertical-align: top;
    margin-top: 0;
    margin-bottom: 0;
    font-family:Georgia, serif;
}
ul.nav {
    background-color: green;
    list-style-type: none;
    padding: 0; margin:0
}
ul.bare {
    list-style-type: none;
/*    padding: 0; margin:0*/
}
ul.nav li {
	background: white;
	margin: 0;
	padding: 0.0;
	color: green;
	margin-top: 0;
	margin-bottom: 0;
	font-family: sans-serif, Verdana}
ul.nav a {
	text-decoration: none}
pre {
	font-family: monospace}
div.box {
	border: solid;
	border-width: thin;
	width: 100%}
div.grey {
	background: rgb(200, 200, 200);
	padding: 0.5em;
	border:none};

#container {
/*	border: 1px solid gray; */
	margin: 10px;
	margin-left: auto;
	margin-right: auto;
	padding: 10px;
}
#banner {
	padding: 5px;
	margin-bottom: 5px;
/*	background-color: rgb(213, 219, 225); */
}
#content {
	padding: 5px;
	margin-left: 215px;
	margin-right: 20%;
/*	background-color: rgb(213, 219, 225); */
/* 	background-color: gray; 	*/
}
#navlist {
	float: left;
	width: 200px;
	\width: 215px;
	w\idth: 200px;
	margin: 0;
	margin-right: 5px;
	padding: 5px;
/*	background-color: rgb(235, 235, 235); 
}
#sidebar-r {
	float: right;
	width: 100px;
	\width: 110px;
	w\idth: 100px;
	margin: 0;
	margin-left: 5px;
	padding: 5px;
/* 	background-color: rgb(128, 0, 0); /**/
}

#footer {
	clear: both;
	padding: 5px;
	margin-top: 5px;
/*    background-color: rgb(0, 100, 0);/*	*/
}

#navlist li
{
    list-style: none;
   margin: 0;
    padding: 0.0em;
/*     border-top: 1px solid gray;*/
}

#navlist li a { text-decoration: none; }