body {
	font-size: 101%;  /* Trick to shut off divergent font rounding algorithms. */
	font-family: verdana, sans-serif;
	background-color: white;
	padding: 0px 30px 0px 30px;
	/*margin: 0 15% 0 15%;*/
	border-top: gray 7px solid;
	margin: 0px;
	text-align: center;
}

#header {
	margin: 0 0 15px 0;
	padding: 0;
	}

#bighead {
	float: left;
	margin: 0 20px 0 0 ;
	padding: 0;
}

#bighead img{
	border: 1px gray solid;
	margin: 0;
	padding: 0;
}

.nav {
	float: right;
	border: 1px gray solid;
	padding: 5px;
	background-color: white;
}

.footer_nav {
	float: right;
	padding: 0px;
}

.footer {
	font-size: 80%;
	border-top: 1px gray solid;
	padding: 10px 0 10px 0;
	margin: 20px 0 20px 0;
	background-color: white;
}

ul {
	list-style-type: none;
	padding: 0;
	margin: 0;
	margin-left: 2em;
}

li {
	background-image: none);
	background-repeat: no-repeat;
	background-position: 0 .4em;
	padding-left: 1.5em;
	padding-bottom: 0.3em;
}

.nav ul {
	margin: 0;
	padding: 0 2ex 0 0;
	font-size: 80%;
}

.nav ul li {
	background-image: none;
	padding: 0;
	margin: 0;
	list-style: none;
	text-decoration: none;
}

.body {
	font-size: 80%; line-height: 1.45em;
	/*max-width: 80%*//*47em*/;
	width:750px;
	text-align: left;
	margin: auto;
}

P {padding:0; margin:0.6em;}
H1 {font-size: 24px}
H2 {font-size: 14px; color:#000000 ; font-family:sans-serif; }
H2 {
	border: 1px #000000 solid;
	border-left: 15px #0000FF solid;
	padding: 3px;
	margin: 10px 0 3px 0;
}

H3 {color:#000000 ;}
H4 {margin-left: 0%}
H5 {font-size:24pt; font-family:sans-serif; background:green;color:white}
H6 {background: red; text-align: center; font-size:18pt; margin-left: 10%; margin-right: 10%}


.bigblue {
        font-size:      24px;
        font-weight:    bold;
        color:          blue;
        }

.logo {
     position:       absolute;
     top:            80%;
     left:           30px;
     visibility:     visible;
     z-index:        1;
     font-family:    times;
     font-size:      64px;
     color:          #000033;
     }

