html, body {
	margin: 0; padding: 0; border: 0;
    font: bolder 12pt Verdana, Arial, Helvetica, sans-serif;}

body { 
	background: #F0FFFF url(../images/v224b.png) no-repeat fixed 118px 50px; color: #0000FF;}

div.header {
    background: #D9D9D9 url(../images/v224.png) no-repeat fixed 118px 48px;
    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;}

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);}
	
div#content {
	color: #0000FF;
	padding: 0px;
	top: 140px;
	position: absolute;
	left: 155px; }
  
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;}

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

.centerbold {
	font-weight: bold;
	text-align: center; }

.strong {
	font-weight: bold; }
	
td {
	font-size: small; }
hr {
	background: #00F;
	height: 1em; }