body {
	font-family: "BitStream Vera Serif", Georgia, serif;
}

div#metanav,
div#topnav,
div#sidebar,
div.marginal,
p#footnav,
div#footer img {
	display: none;
}

a.external[href]:after {
	content: "<"attr(href)">";
	color: #888;
	background-color: inherit;
	font-style: italic;
	font-size: 80%;
}