body { 
	margin-top: 15;
	margin-left: 25; margin-right: 25; 
	background: #ffffef; color: black;
	font-family: sans-serif;
	font-size: 15px;
<!--	font-size: 16px; -->
}

/*
a { text-decoration: none; border-bottom: 1px dotted blue; }
*/

a {
	text-decoration: none;
<!--	color: #0000ee; -->
	color: #01019d;
	border-bottom: 1px dotted #01019d; 
}

a:hover, a:focus {
        border-bottom: 1px solid #01019d;
        text-decoration: none;
        background: #ffe288;
<!--        background: #ffdd77; -->
<!--        background: #ebf0f7;  -->
}


h1,h2,h3,h4,h5 { color: navy }

.left { margin-left: -4% }

.small { font-size: small }