body {
  font: 11pt "Verdana", "Georgia", "Times New Roman";
  color: black;
  background: rgb(80%, 80%, 70%);
}

h1 {
  font-size: 160%;
  color: gray;
}

h2 {
  font-size: 140%;
  color: gray;
}

h3 {
  font-size: 120%;
  color: gray;
}

h4 {
  font-size: 100%;
  color: gray;
}

a {
 text-decoration: none;
 color: rgb(90%, 10%, 10%);
}

a:hover {
 text-decoration: underline;
}

#search {
	float: right;
	font-size: 70%;
	color: Gray;
}

#search input {
	
}

#header {
  font-size: 70%;
  margin-top: 0%;
  margin-bottom: 0%;
  margin-left: 220px;
  margin-right: 0%;
  color: gray;
}

#header a{
	color: Gray;
}

#navigator {
  margin-top: 0%;
  margin-bottom: 0%;
  margin-left: 0%;
  margin-right: 0%;
  float: left;
  width: 220px;
  font-size: 90%;
  text-align: left;
}

#navigator h1 {
  margin-top: 30px;
  font-size: 90%;
}

#navigator p {
  color: gray;
}

#navigator ul {
  margin-top: 0%;
}

#navigator ul li {
	list-style: none outside; /*background: rgb(98%, 98%, 90%);*/
	border-bottom: 1px solid gray;
	padding: 2px 2px;
	border-left: 3px solid gray;
}

#navigator ul li:hover {
	list-style: none outside; /*background: rgb(98%, 98%, 90%);*/
	border-bottom: 1px solid gray;
	padding: 2px 2px;
	border-left: 3px solid rgb(90%, 10%, 10%);
	background-color: rgb(95%, 95%, 80%);
}

#navigator img {
	border: 0px;
}
#maintext {
  margin-top: 0%;
  margin-bottom: 0%;
  margin-left: 220px;
  margin-right: 0%;
  background: rgb(95%, 95%, 80%);
  border-top: 1px solid gray;
  border-bottom: 1px solid gray;
  border-left: 1px solid gray;
  border-right: 1px solid gray;
  padding-right: 10px;
  padding-left: 10px;
  height: 80%;
}

#maintext h1 {
  border-bottom: 1px dotted gray;
}

#maintext img {
  margin-top: 15px;
  margin-bottom: 15px;
  margin-right: 15px;
  border-left: 1px solid gray;
  border-right: 1px solid gray;
  border-top: 1px solid gray;
  border-bottom: 1px solid gray;
}

#maintext img.float {
  float: left;
}

#maintext img.float-right {
	float: right;
}

#maintext acronym{
	cursor: help;
	text-decoration: none;
	border-bottom: 1px dotted;
}

#maintext ul.TOC {
	border: 1px dotted Gray;
}
#maintext ul li {
	list-style: disc;
}

#maintext ul li.num {
	list-style: decimal;
}

#maintext ul li.TOC {
	list-style: none;
}

#maintext pre{
	background-color: Silver;
	border: 1px dotted Gray;
}

#maintext th.normal {
	background: rgb(80%, 80%, 70%);
	color: White;
}

#maintext th.day {
	background-image: url(picture/background.gif);
	color: White;
	width: 100px;
}

#maintext tr.mouseover:hover{
	background-color: White;
}
#maintext td.normal {
	border-bottom: 1px solid Gray;
	border-left: 1px solid Gray;
	border-right: 1px solid Gray;
	padding: 10px 10px 10px 10px;
}

#footer {
  margin-top: 0%;
  margin-bottom: 0%;
  margin-left: 220px;
  margin-right: 0%;
  padding-right: 10px;
  padding-left: 0px;
  font-size: 80%;
  color: gray;
}

#footer img {
    margin: 0;
    padding: 0;
    border: 0;
}

#bottomlink {
  position: fixed;
  right: 1em;
  bottom: 1em;
  width: 16px;
  height: 16px;

}

#bottomlink img {
    margin: 0;
    padding: 0;
    border: 0;
}

.weiter {
	color: rgb(90%, 10%, 10%);
	font: 8pt "Verdana", "Georgia", "Times New Roman";
}

.weiter:hover {
	color: rgb(90%, 10%, 10%);
	background-color: rgb(80%, 80%, 70%);
}