a
{
color: #003399;
background: transparent;
font-weight: bold;
text-decoration: none
}

a:focus
{
color: #003399;
background: transparent;
text-decoration: underline
}


a:hover
{
color: #003399;
background: transparent;
text-decoration: underline
}

a:active
{
color: #003399;
background: transparent;
text-decoration: none
}

a.nav
{
color: #ffffff;
background: transparent;
font-size: large;
font-weight: bold;
text-decoration: none
}

a.nav:focus
{
color: #ffffff;
background: transparent;
font-size: large;
font-weight: bold;
text-decoration: underline
}

a.nav:hover
{
color: #ffffff;
background: transparent;
font-size: large;
font-weight: bold;
text-decoration: underline
}

a.nav:active
{
color: #ffffff;
background: transparent;
font-size: large;
font-weight: bold;
text-decoration: none
}

body
{
margin: 0;
color: #000000;
background: #999999
}

body.leftframe
{
margin: 0;
color: #ffffff;
background: #003399
}

body.mainframe
{
margin: 0;
color: #000000;
background: #ffffff
}

h1
{
color: #003399;
background: transparent;
font-size: xx-large;
font-weight: bold;
text-align: center;
text-decoration: underline
}

h2
{
color: #003399;
background: transparent;
font-size: x-large;
font-weight: bold;
text-align: center;
text-decoration: underline
}

p
{
font-size: medium
}

.big
{
font-size: large
}

.blue
{
color: #ffffff;
background: #003399
}

.bottomborder
{
color: #003399;
background: transparent;
font-size: large;
font-weight: bold;
text-align: center
}


.dark {
font-weight: bold
}

.fineprint
{
color: #aaaaaa;
background: transparent;
font-size: x-small
}

.fineprint2
{
color: #000000;
background: transparent;
font-size: x-small
}

.hide
{
color: #ffffff;
background: transparent
}

.indent
{
margin-left: 2em;
margin-right: 2em
}

.linklike
{
color: #003399;
background: transparent
}

.motto1
{
font-size: x-large
}

.motto2
{
font-size: large
}

.normal
{
font-size: medium
}

.reallybig
{
font-size: x-large
}

.tiny
{
font-size: small;
margin: 0.5em;
text-align: center
}

.white
{
color: #000000;
background: #ffffff
}
