body {
margin: 0;
padding: 0;
background-color: #193380;
font: 80% verdana, arial, sans-serif;
}

p {
margin-left: 0.35in; 
margin-right: 0.35in;
color: #000000;
font-family: verdana;
font-size: 10pt; 
font-family: arial, verdana;
}

.pool {
margin-top: 0in;
margin-left: 0.35in; 
margin-right: 0.35in;
color: #000000;
font-family: verdana;
font-size: 10pt; 
font-family: arial, verdana;
}

.sub {
color: #000000;
font-family: verdana;
font-size: 8pt; 
font-family: arial, verdana;
}

.hometext {
margin-left: 0.3in; 
margin-right: 0.1in;
color: #000000;
font-family: verdana;
font-size: 10pt; 
font-family: arial, verdana;
}

.indent {
margin-left: 1in; 
margin-right: .5in;
color: #000000;
font-family: verdana;
font-size: 10pt; 
font-family: arial, verdana;
}

.green {
margin-left: 0.35in; 
margin-right: 0.35in;
margin-top: 0.25in;
color: #008000;
font-family: verdana;
font-size: 12pt; 
font-family: arial, verdana;
font-weight: bold;
}

h2 {
margin-left: 0.25in; 
margin-right: 0.25in;
margin-top: 0.25in;
color: #000000;
font-family: verdana;
font-size: 12pt; 
font-family: arial, verdana;
}

h1 {
margin-left: 0.12in; 
margin-right: 0.12in;
color: #000000;
font-family: verdana;
font-size: 16pt; 
font-family: arial, verdana;
}

.credits {
text-align: center;
color: #000000;
font-family: verdana;
font-size: 8pt; 
font-family: arial, verdana;
}


/* the following is css for the menu */

dl, dt, dd, ul, li {
margin: 0;
padding: 0;
list-style-type: none;
}
#menu {
position: relative;
top: 0;
left: 0;
}
dl#menu {
width: 13em;
}
dl#menu dt {
cursor: pointer;
margin: 2px 0;;
height: 20px;
line-height: 20px;
text-align: center;
font-weight: bold;
border: 1px solid #000000;
background: #1cb3de;
}
dl#menu dd {
border: 1px solid gray;
}
dl#menu li {
text-align: center;
background: #92bff2;
}
dl#menu li a, dl#menu dt a {
color: #000;
text-decoration: none;
display: block;
border: 0 none;
height: 100%;
}

dl#menu li a:hover, dl#menu dt a:hover {
background: #eee;
}


a.web:link 
{
font-weight: normal;
padding: 0px;
margin-top: 0px;
text-decoration: none;
color: #1f5ddb;
 }

a.web:visited
{
font-weight: normal;
padding: 0px;
margin-top: 0px;
text-decoration: none;
color: #808080;
 }

a.web:hover 
{
font-weight: normal;
padding: 0px;
margin-top: 0px;
text-decoration: underline;
color: #0000c0;
 }

a.web:active 
{
font-weight: normal;
padding: 0px;
margin-top: 0px;
text-decoration: underline;
color: #808080;
 }