html {
	color:#000;
	background:#366;
	font-family:verdana,lucida,sans-serif;
	margin:0;
	padding:4px;
}

body {
    width:750px;
	color:#000;
	background:#fff;
	font-size:83%;
	font-family:verdana,lucida,sans-serif;
	margin:4px auto;
	padding:0px;
	border:1px #ccc solid;
	overflow:scroll;
}

a:link, a:visited {
	color:#060;
	text-decoration:none;
	font-weight:bold;
}
a:focus, a:active, a:hover {
	color:#060;
	text-decoration:underline;
	font-weight:bold;
	background:#ffe;
}
p.clr {
	clear:both;
}
div.head {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner1);
}
div.studiumhead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner2);
}
div.stbhead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner2);
}
div.evolutionhead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner3);
}
div.textehead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner3);
}
div.computerhead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner1);
}
div.linkshead {
	font-size:144%;
	font-style:italic;
	font-weight:bold;
	color:#fff;
	margin:0;
	padding:0 4px;
	height:94px;
	background:url(/gfx/banner1);
}

div.theorem {
	margin:2em 3em;
	color:#000;
	background:#eee;
}
div.theorem p {
	padding:.5ex;
}
div.theorem p.title {
	font-weight:bold;
	color:#eee;
	background:#666;
	margin-bottom:-2ex
}
div.nav {
	border-top:1px solid #666;
	border-bottom:1px solid #666;
	margin:0;
	padding:.5ex 0;
	background-color:#cc9;
}
div.nav ul {
	font-weight:bold;
	/* border-bottom:1px solid #999; */
	margin:0;
	padding:0;
}
div.nav ul li {
	display:inline;
	padding:0;
	margin:0 0.2ex 0 0;
}
div.nav ul li a {
	text-decoration:none;
	padding:.1ex .5ex;
	margin:0;
}
div.nav ul li a:link, div.nav ul li a:visited {
	color:#039;
}
div.nav ul li a:active, div.nav ul li a:hover, div.nav ul li a:focus {
	color:#fff;
	background:#666;
}
div#loc {
	padding:0.5ex 4px;
	background-color:#ffc;
	font-size:83%;
color:#666;
}

div#loc a {
color:#36c;
font-weight:normal;
padding:0ex 0.5ex;
}

div.main {
	margin:0 2ex 0 2ex;
	padding-left:1ex;
	margin-bottom:1ex;
}
div.main h1, div.main h2, div.main h3 {
	letter-spacing:.3ex;
	color:#666;
}
div.main h1 {
	font-size:144%;
}
div.main h2 {
	font-size:144%;
	letter-spacing: 0ex;
}
div.main h3 {
	font-size:120%
}
div.main h4 {
	font-size:120%
	letter-spacing: .1ex;
}
div.main p {
	font-size:120%;
	text-align:justify;
	line-height:3ex;
}
div.main ol li, div.main ul li, div.main dl dt, div.main dl dd {
	font-size:120%;
}
div.main dl dt {
	margin-top:1ex;
}
div.main ol li ol, div.main ul li ul {
	font-size:70%;
}
div.main p.abstract {
	font-style:italic;
	line-height:2ex;
}
div.main blockquote {
	border-top:.3ex solid #ccc;
	border-left:.3ex solid #ccc;
	padding:0;
	margin:2em 3em;
}
div.main blockquote p {
	text-align:left;
	background:#ffe;
	padding:.5ex;
	margin:0;
}
div.main blockquote p.author {
	text-align:right;
	font-variant:small-caps;
}
div.main blockquote.widmung {
	margin-left:200px;
	width:500px;
	text-align:right;
	color:#000;
}
div.main div.img {
	margin:2em 2em;
	text-align:center;
}
div.main div.img img {
	border:1px solid #999;
}
div.main div.img p {
	font-size:120%;
	margin-top:0;
}
div.f {
	border-top:1px solid #999;
	padding:4px;
	margin:0ex;
	clear:both;
	color:#999;
	font-size:70%;
}
div.f a {
	color:#999;
}
div.ff {
	border-top:1px solid #999;
	padding:0 4px 2px 4px;
	margin:0ex;
	color:#ccc;
	background:#999;
	font-size:70%;
}
div.ff a {
	color:#ccc;
}

div.main div#pgpnote {
	font-size:70%;
}