/* Style thingies */
/* Page level */


body         { background-color: #D3D3D3;}
p            { font-family: Georgia, Times New Roman, Times, Serif; line-height: 125%; font-size: 12pt; text-align: justify; width: 750px; }

dt           { font-size: 12pt; font-family: Georgia, Times New Roman, Times, Serif; font-weight: bold; color: #000000 }
dd           { font-size: 12pt; font-family: Georgia, Times New Roman, Times, Serif; color: #000000 }


a            { font-family: Georgia, Times New Roman, Times, Serif; text-decoration: none; }
a:link       { color: #800000;}
a:visited    { color: #0000CD;}
a:hover      { color: #8A2BE2; text-decoration: underline }

a:link.buttonlink       { color: #FFFFF0;}
a:visited.buttonlink    { color: #FFFFF0;}
a:hover.buttonlink      { color: #FFFF00; text-decoration: underline }


.buttons
{
background-color:#800000;
border-width: 2px;
border-style: outset;
border-color: #808080;
width: 150px;
margin: 0px;
margin-bottom:10px;
padding-top:5px;
padding-bottom:5px;
height: 2em;
text-align:center;
font-weight: bold;
}
    /* */