body {
	background: url(lima.gif) fixed white;
	color:black;
	margin: 5px 15px 15px 15px;
}

body, p, li, dt, dd, td, th, div, h1, h2, h3 {
	font-family:Verdana, Helvetica, Arial, sans-serif;
}

pre {
	background:black;
	color:lime;
	margin-left: 3em;
	margin-right: 3em;
	font-family:"Courier New";
	padding:5px;
}

code, kbd {
	font-family:"Courier New";
	font-size:100%;
}

hr {
	height:1px;
}

h1 {
	text-align:center;
	font-size:200%;
	font-weight:normal;
	color:navy;
	margin-top:15px;
	margin-bottom:5px;
}

h2 {
	text-align:center;
	font-size:75%;
	font-weight:normal;
	margin-bottom:20px;
}

h3 {
	text-align:center;
	font-size:100%;
	font-weight:bold;
	margin-bottom:10px;
}

p {
	text-align:justify;
}

td {
	font-size:75%;
}

table {
	width:100%;
	border:none;
}

dt {
	font-weight:bold;
	margin-bottom: 7px;
	margin-top: 2px;
}

table.footer {
	font-size:90%;
	margin-top:30px;
	border-top: 1px solid navy;
	width:100%;
}

#subtitle		{ text-align:center; font-size:75%; margin:0px; padding-bottom:10px; border-bottom: 1px solid navy; }
#literzahl		{ font-weight:bold; }

.right			{ text-align:right; }

.blue			{ color:#330099 }
.magenta		{ color:#FF00FF }
.dimmed			{ color:gray }

.bold			{ font-weight:bold; }

.initial		{ font-weight:bold; font-size:110%; }

.framed			{
	width:80%;
	background: white;
	color:black;
	border: solid #7F9DB9 1px;
	padding: 10px 10px 10px 10px;
}

.example
{
	font-size:80%;
	color:gray;
}

.list {
	font-size:75%;
}

.collection {
	font-size:75%;
	background:white;
	padding: 5px;
	border: solid #7F9DB9 1px;
	margin:1em 3em 1em 3em;
}

.warning {
	text-align:center;
	font-weight:bold;
	color:red;
}