html, body {
	margin:0; padding:0; border:0; }

body {
	font: 100% Verdana, Arial, Helvetica, sans-serif;
	background: #F0FFFF;
	/*#E8E8FF;*/ }

/*header styles*/
div.header {
	background: #D9D9D9;
    border-bottom: 15px solid #0066CC;
    padding-right: 3em;
    z-index: 1;
    height: 120px; }

div.header h1 {
    color: #0000FF; 
    margin: -9px -9px 0px; 
    padding: 15px 0 0;
    font: italic bold 36px/normal Geneva, Arial, Helvetica, sans-serif; 
    letter-spacing: normal; 
    text-align: right; 
    text-transform: lowercase;}

div.header h2 {
    color: #0000FF; 
    margin: -9px -9px 0.5em; 
    padding: 15px 0 0; 
    font: italic bold 36px/normal Geneva, Arial, Helvetica, sans-serif; 
    letter-spacing: normal; 
    text-align: right; }

p {
    margin: 0 1em 1em; 
    color: #0000FF; 
    font: normal small Verdana, Arial, Helvetica, sans-serif; }

.center {text-align: center; }

.centerbold {
	font-weight: bold;
	text-align: center; }
	
h1 { font-size: x-large; font-weight: bold; }

h2 { font-size: large; font-weight: bold; }

h3 { margin-bottom: 0.25em; color: #0000FF; }

h4 { font-size: 18px; font-weight: 700;
    background-image: url(file:///C|/htdocs/Wadler/Library/transparent); }

h6 { font-size: 16px; font-weight: bold;
    background-image: url(file:///C|/htdocs/Wadler/Library/transparent); }

/*content styles*/
div#content {
	color: #0000FF;
	top: 140px;
	position: absolute;
	left: 30px;
	padding-left: 140px;
}

div#content a:link {
	color: #0000FF; font-weight: bold; text-indent: .5pt; left: 0px;}

div#content a:visited { color: #0000FF; font-weight: bolder;}

div#content a:link:hover {color: #FF00CC;}

div#content a:visited:hover {color: #6FF;}

.indent {
	text-indent: -20px;
	text-align: left;
	padding-left: 40px; }

/*footer styles*/
div#footer {
	font-size: 0.7em;
	text-align: center;
	margin-bottom: 1em;
	color: #0000FF; }

.strong, B { font-weight: bolder;}    /* Fix Navigator 4 bug */

.emphasis,.emphasiscenter	{ color: #0000A0; font-weight: bolder; }
.emphasiscenter				{ text-align: center; }

hr { background: #00F; height: 1em; }

.clear { clear:both; }