body {
	font-family: DejaVu Sans, Tahoma, sans-serif;
	font-size: 8pt;
}

a > img {
 	border: 0
}

.navigation {
 	font-size: 90%;
}

div.content {
	margin: 10px 10%;
}


code.sql {
	color: #040;
}

p.foot {
	font-size: 70%;
	text-align: center;
	margin: 50px 20%;
	color: #888;
}

div.ads {
    margin: 10px;
    float: right;
    clear: none;
}