body.menu
{
background-color: #262f84;
}

body {
background-color: #adc2ff;
link: #0000ff; 
vlink: #6633cc; 
color: #000080
}

div.title1
{
font-family: "Times New Roman";
font-size: xx-large;
color: #000080;
text-align: center;
font-weight: bold
}

div.title2
{
font-family: "Times New Roman";
font-size: large;
color: #000080;
text-align: center;
font-weight: normal;
text-decoration: underline
}

div.normal_center
{
font-family: "Times New Roman";
font-size: large;
color: #000080;
text-align: center;
font-weight: normal
}

div.normal
{
font-family: "Times New Roman";
font-size: small;
color: #000080;
font-weight: normal
}

div.normal_medium
{
font-family: "Times New Roman";
font-size: medium;
color: #000080;
font-weight: normal
}


p.normal
{
font-family: "Times New Roman";
font-size: small;
color: #000080;
}