body {
background-color: #cecece;}

.border {
border: 1pt #cecece solid;}

.wideborder {
border: 3pt #cecece solid;}

.verticalline {
border-right: 1pt #cecece solid;}

a.textlink:link {
color: #000000;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: 10pt;
text-decoration: underline;}

a.textlink:visited {
color: #000000;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: 10pt;
text-decoration: underline;}

a.textlink:hover {
color: #000000;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: 10pt;
text-decoration: none;}

a.textlink:active {
color: #000000;
font-family: Verdana, Helvetica, Arial, sans-serif;
font-size: 10pt;
text-decoration: underline;}