.leftcol a {
        background-color : #003399;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 20px;
        border : 1px solid #003399;
        color : #ffffff;
        display : block;
        padding-bottom : 4px;
    	padding-right : 4px;
        padding-top : 4px;
        text-decoration : none;
        width : 140px
}

.leftcol a:visited {
        background-color : #003399;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 20px;
        border : 1px solid #003399;
        color : #ffffff;
        display : block;
        padding-bottom : 4px;
    	padding-right : 4px;
        padding-top : 4px;
        text-decoration : none;
        width : 140px
}


.leftcol a:hover {
        background-color : #659fe0;
        border : 1px solid #ffffff;
        color : #FFFFFF;
        text-decoration : none
}

.footer {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #000000;
        line-height: 110%;
}

.footlinks {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size : 14px;
        color : #000000;
        line-height: 110%;
}

body {
	 /*      Since body is a valid HTML tag, (re-)defining it here means declaring
                it with no # sign.
	*/
        font-family: Verdana, Arial, Helvetica, sans-serif;
}