body {
	margin: 0;
	padding: 0;
	font: 11pt arial, hevetiva, sans-serif;
	text-align: center;
	color: #000;
	background-color: #C6C6C6;
}
#container {
	color: black;
	background: white;
	margin: 1em auto; 
	padding: 15px;
	width: 964px;
	text-align: left;
}

#header {
	text-align: center;
	margin-bottom: 10px;
	padding: 10px; 
	padding-bottom: 25px;
	border-bottom: 1px solid black;
}

#content {}

#footer {
	text-align: center;
	margin-top: 10px;
	padding: 10px; 
	padding-top: 25px;
	border-top: 1px solid black;
}

A:link {text-decoration: underline; color: blue;}
A:visited {text-decoration: underline; color: black;}
A:hover {text-decoration: none; color: blue;}

.headermenu {
	padding-left: 15px;
	padding-right: 15px;
}

table {border: 1px solid black; width: 100%;}
td {border: 1px solid black;}

hr {
	border: none;
	border-bottom: solid 1px black;
	height: 0px;
}

h1 {
	font-size: 24pt; 
	margin: 15px; 
	text-decoration: underline; 
	font-weight: bold; 
	text-align: center;
}

h2 {
	font-size: 16pt; 
	margin: 15px; 
	font-weight: bold;
}

div.imp {
	font-size: 14pt; 
	margin: 10px; 
	padding: 10px; 
	background: red;
}

span.not {
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; 
	font-weight: bold;
	padding-left: 2px; 
	padding-right: 2px;
}

span.not_k {
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}

.knot-html-highlight {
	text-align: center; 
	font-weight: bold; 
	font-size: 16pt; 
	font-family: Verdana; 
	margin: 10px;
	line-height: 1.5;
}

.applet-standart-left {
	float: left;
	margin-right: 20px;
	height: 300px;
	width: 300px;
}

.applet-expl-right {
	height: 300px;
}