@import url('https://fonts.googleapis.com/css?family=Encode+Sans+Condensed');

BODY { 
    font-family: 'Encode Sans Condensed', sans-serif;
    font-size: 12pt;
    color: #191970;	    /* midnight blue */
/*    background: #B0C6DD; */
    background: #AAB3CE;
    width: 800;
}

TABLE { font-size: 12pt; }

a { font-weight: bold; }

a:link {
    color: #191970;
    text-decoration: none;
	}

a:visited {
    color: #191970;
    text-decoration: none;
	}

a:hover { color: #DA9536; }

span.blocktitle {
    color: #771218;
    font-size: 130%;
    font-weight: bold;
}

div.myblock {
    font-size: 150%;
    font-weight: bold;
    font-variant: small-caps;
}

#maintitle {
    color: #191970;
    background: #E4CC38;
    padding-top: 1ex; 
    padding-left: 1ex; 
    padding-bottom: 1ex; 
    }

#maintitle a:hover { color: ghostwhite; }