body {
	color		: black;
	background	: white url("spec.gif") no-repeat top left fixed;
	padding		: 50px 15px 50px 60px;
	font-family	: Helvetica, Verdana, sans-serif;
}

code, samp {
	font-family	: monospace;
}

#logo {
	font-size	: 32px;
	margin		: 0 0 55px;
	font-family	: serif;
	font-weight	: normal;
}

#logo #domain {
	color		: #006dab;
	background-color: white;
	border-top	: 1px solid black;
	border-bottom	: 1px solid black;
}

#logo #tld {
	border-top	: 1px solid black;
	border-bottom	: 1px solid black;
}
	
h1 {
	color		: #006dab;
	background-color: white;
	font-size	: 1.5em;
	font-weight	: normal;
}

h2 {
	color		: #006dab;
	background-color: white;
	font-size	: 1.2em;
	font-weight	: normal;
}

h3 {
	color		: #006dab;
	background-color: white;
	font-size	: 1em;
	font-weight	: bold;
}

dt {
	font-weight	: bold;
}

p.copyright {
	font-size	: small;
}

#anhangsliste li {
	list-style-type	: upper-latin;
}

pre {
	margin		: 1em 0 1em 20px;
	padding		: 1ex;
	border		: thin solid navy;
}

pre.dtd-fragment {
	border		: none;
	margin-left	: 0;
	color		: maroon;
	background-color: #eee;
}

span.comment {
	color		: #666;
	background-color: transparent;
}

code, pre {
	color		: navy;
	background-color: #ffc;
}

ol.text li,
ul.text li {
	margin-bottom	: 1em;
}

table.index {
	border		: medium outset gray;
}

table.index td {
	border		: thin inset gray;
	padding		: .2em .5em;
}

table.index th {
	font-weight	: bold;
	text-align	: left;
	padding		: .2em .5em;
}