/*  print.css


/* content styles */

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

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

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

a:hover {
	text-decoration: underline;
}

pre {
	font-size: 10pt;
}

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

/* user interface styles */

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