#header, #sidebar, #footer, #timings, #credits {
	display: none;
}

.footnotes div {
	width: 5em;
	border-top: 1pt solid gray;
}

a, a:visited, a.nonexistent, a.badinterwiki {
	color: black;
	text-decoration: none;
}

a.interwiki:before, a.badinterwiki:before {
	content: attr(title) ":";
}

a.interwiki img, a.badinterwiki img {
	display: none;
}

a:hover {
	text-decoration: underline;
}

body {
	/* Give about 3.4cm in Mozilla/Firefox and about 2.2cm in Safari */
	margin: 1.5cm;
}

html {
	font-family: Times, serif;
	font-size: 12pt;
}

pre {
	font-size: 10pt;
}