body {
	color: #0a2e93;
	font: 100.01% Georgia,Times,serif; /* prevent font size bugs in IE */
	font-size: 10pt;
}

/* copied from styles.css */
li { margin-left: 1.5em; line-height: 1.5em; }

h1 { margin-top: 0.4em; margin-bottom: 0.5em; }

h2 { margin-top: 0.2em; margin-bottom: 0.5em; }

h3 { margin-top: 0.4em; margin-bottom: 0.3em; }

ul { line-height: 1.5em; margin-bottom: 1em; margin-top: 1em; }

p { line-height: 1.5em; margin: 0 0 1em 0; }

.quelle { font-style: normal; text-align: right; }
.green { color: #2bbd00; }
.orange { color: #ebbc00; }