body {
	color: #000;
	background-color: #08b;
	margin: 5% 5% 5% 5%;
	font-family: 'Lucida Grande', Verdana, 
                     Geneva, Lucida, Arial, 
                     Helvetica, sans-serif;
}

a:hover {
	color: #048;
	background: #0ce;
}

h3, pre {
	color: #000;
	background: #fff;
}

.old {
	color:#888;
}

.hugbottom {
	position: fixed;
	bottom: 5px;
}