/* Stylesheet für Print */

body, #container {
	width: auto;
	margin: 0;
	padding: 0;
	color: Black;
	background-color: White;
	font-family: "Times New Roman", Times, serif;
}

#navi {
	display: none;
}

h1 {
	font-size: 18pt;
	font-family: Arial, Helvetica, sans-serif;
	margin-top: 0;
}
h2 {
	font-size: 16pt;
	font-family: Arial, Helvetica, sans-serif;
}

p {
	font-size: 12pt;
}

ul {
	font-size: 12pt;
	margin-top: 6pt;
	margin-left: 0;
	padding-left: 12pt;
}

ol {
	font-size: 12pt;
	margin-left: 0;
	padding-left: 18pt;
}

strong {
	font-weight: bold;
}

a {
	color: Black;
	text-decoration: none;
	font-weight: bold;
}
a:link:after, a:visited:after {
	content: " (" attr(href) ")";
	font-size: 10pt;
	font-weight: normal;
}