body { color: black; }
body.normal {
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
	text-align: center;
	background-color: #aaffaa;
	font-size: normal;
}
dl, ul, ol, p, div {
	text-align: left;
	line-height: 150%;
}
p {
	width: 90%;
}
h1 {
	text-align: center;
	margin: 20px auto 30px auto;
	color: #206040;
	line-height: 150%;
}
h2 {
	text-align: left;
	margin: 25px 0px 0px 0px;
	color: #602010;
	line-height: 150%;
}
dl {
	margin: 0px 0px 0px 0px;
	padding: 20px;
}
dt {
	font-size: larger;
	font-weight: bold;
	margin: 6px 0px 0px 0px;
}
dd {
	margin: 0px 0px 6px 20px;
}
ul, ol {
	margin: 10px 40px 10px 20px;
}
ul.circle { color: #400040; list-style-type: circle; }
td { padding: 3px 3px 3px 3px; }
hr { margin: 10px 10% 10px 10%; }

/* headbar */
div.headbar {
	color: #ddffdd;
	background-color: #20a020;
	margin: 0px 0px 0px 0px;
	padding: 8px 0px 8px 0px;
	line-height: 100%;
	text-align: center;
	align: center; /* for damn NN 4.x */
}
h1.headbar {
	margin: 0px 0px 0px 8%;
	color: #ffffff;
	font-size: 130%;
	font-weight: bold;
	text-align: left;
	align: center; /* for damn NN 4.x */
}
div.headbardate, div.headbarsub {
	padding: 0px 40px 0px 0px;
	text-align: right;
	font-size: normal;
	align: right; /* for damn NN 4.x */
}
div.update {
	text-align: right;
	font-size: 80%;
}
/* with_sidemenu */
div.withsidemenu {
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
	background-color: #bbffbb;
	align: left; /* for damn NN 4.x */
}
div.sidemenu {
	float: left;
	width: 20%;
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 0px;
	vertical-align: top;
	font-size: 88%;
}
div.mainpart {
	margin: 0px 0px 0px 20%;
	padding: 0px 40px 30px 30px;
	background-color: #ddffdd;
	font-size: 100%;
	align: left; /* for damn NN 4.x */
}
div.jumptop {
	margin: 50px 0px 0px 0px;
	font-size: 80%;
}
div.tailbar {
	text-align: right;
	color: #008000; 
	margin: 0px 0px 0px 0px;
}
div.sidemenuitem { margin: 1px 0px 1px 15% }
hr.sidemenu { margin: 1px 15% 1px 15%; width: 70% } /* required by Opera7? */
.clearall { clear: both; line-height: 0px; margin: 0px; height: 0px } /* only for the stupid NN4.x !! */

/* news */
ul.news {
	width: 80%;
	line-height: 160%;
	font-size: normal;
	margin: 10px 0px 10px 0px;
}
li.news {
	list-style-type: none;
	text-indent: -60px;
	margin: 8px 0px 8px 30px;
}
span.datenews {
	color: #d07020;
	padding: 0px 10px 0px 0px;
}

/* misc */
img {
	margin: 4px 4px 4px 30px;
}
code {color: #202080;}
span.excursionbox {
	border-style: solid;
	border-width: 1px;
	padding: 3px;
	vertical-align: bottom;
}
li.excursion {
	list-style-type: none;
	text-indent: -30px;
}
div.kntbox {
	border-style: solid;
	border-width: 1px;
	margin: 60px 30px 10px 30px;
	padding: 8px;
}

/* generic */
.center { text-align: center }
.right { text-align: right }
.left { text-align: left }
.xsmall { font-size: 80% }
.small { font-size: 90% }
.normal { font-size: 100% }
.large { font-size: 110% }
.xlarge { font-size: 120% }
.smaller  { font-size: 80% }
.larger { font-size: 130% }

.red { color: #ff4010 }
.gray { color: #808080 }
.dgray { color: #606060 }
.purple { color: #ff00ff }
.dgreen { color: #008000 }

.italic { font-style: italic }
.underline { text-decoration: underline }

/* width and height */
.width120 { width: 120px }
.height200 { height: 200px }
.margintop10 { margin-top: 10px } /* for stupid sake */
.paddingtop20 { padding-top: 20px } /* for stupid sake */


/* link */
a.noul { text-decoration: none; }
a.noulbar { text-decoration: none; color: #ddffdd }
a.noulbar:visited { color: #ddffdd }
a:visited { color: #6060c0 }
a.noulbar:hover { background-color: #ffff00; color: blue }
a:hover { background-color: #ffff00; color: blue }