body {
  margin: 0;
  padding: 0;
  background-color: #eceefa;
  background-image: url(/-/img/bg.png);
  background-repeat: repeat;
  color: #514d5b;
  font-family: "Nimbus Sans L", "Liberation Sans", "MUTT Clearly PUA", Geneva, Helvetica, Verdana, Arial, sans-serif;
  line-height: 1.5;
  font-size: 100%;
}

/* Das hier ist ein Trick, kein Schreibfehler. "monospace,monospace" muss sein. */
/* Es verhindert, dass FF den Font verkleinert. "1em" ist für Chrome, Opera & Co. */
pre, code, kbd, samp, tt {
  font-family: monospace,monospace;
  font-size: 1em;
}

#top {
  clear: both;
  width: 100%;
  /*height: 100px;*/
  height: 6.25em;
  margin: 0;
  padding: 0;
  border-bottom: solid #ecab64 1px;
  position: relative;
}

#col1 {
  position: relative;
  left: 0;
  top: 0;
  width: 0;
  height: 0;
}

#col1 * {
  position: absolute;
  left: 0;
  top: 0;
  width: 11em;
}

#col1 * * {
  position: static;
  width: 100%;
}

#col1 * * * {
  width: auto;
}

#logo {
  position: relative;
  left: 0.6em;
  top: 0.2em;
  width: 15em;			/* avoid horiz scrollbar */
}

#logo img {
  border: 0;
  height: 5.89em;
}

#logo embed {
  border: 0;
  width: 10.2em;
  height: 5.89em;
}

#logo2 {
  position: absolute;
  left: 6.3em;
  top: 0.5em;
  font-variant: small-caps;
  font-weight: bold;
  font-size: 1.25em;
  color: #4c40bf;
  text-indent: -2.5em;
  padding-left: 2.5em;
  z-index: 1;
}

#logo3 {
  position: absolute;
  right: 0.25em;
  bottom: 0;
  font-weight: bold;
  font-size: 0.66em;
  font-style: italic;
  color: #e15815;
  z-index: 1;
}

.breaker {
  font-size: 0px;
  line-height: 0px;
  clear: both;
  width: 100%;
  height: 1px;
  margin: 0;
  padding: 0;
}

#bottom {
  clear: both;
  width: 100%;
  margin: 0;
  padding-bottom: 1em;
  border-top: solid #ecab64 1px;
}

#top p {
  font-weight: normal;
  font-size: 0.66em;
  padding: 0;
  margin: 0;
  position: absolute;
  bottom: 0;
  left: 16.6em;
}

#top, #top a {
  text-decoration: none;
  color: #5c6f90;
}

#top span.current, #top a.current {
  text-decoration: none;
  color: #c5c5c5;
}

#top a:hover {
  text-decoration: none;
  color: red;
}

#main, #fullmain {
  margin: 0;
  background-color: #f5f6ff;
  padding: 1em 0.5em;
}

#main {
  border-left: solid #ecab64 1px;
  margin-left: 11em;
  min-height: 500px;
}

#main > :first-child,
#main > div.inhaltsverzeichnis_left:first-child + *,  /* das erste Folgeelement nach einem Inhaltsverzeichnis, das erstes Element ist. */
#fullmain > :first-child {
  margin-top: 0;
}

p, li, td {
  color: #514d5b;
  text-align: left;
  font-size: 0.8em;
  margin: 0;
}

li * {
  font-size: 1em;
}

table.umrandet {
  border-collapse: collapse;
  border-spacing: 0;
  border: solid #ecab64 1px;
}

th.umrandet, td.umrandet {
  border: solid #ecab64 1px;
  padding: 0.25em;
}

img.none {
  margin: 0.25em 0.5em;
}

img.left {
  margin: 0.25em 0.5em 0.5em 0;
  float: left;
}

img.right {
  margin: 0.25em 0 0.5em 0.5em;
  float: right;
}

p {
  margin-bottom: 0.5em;
  text-align: justify;
}

p.zitat {
  margin-bottom: 0;
}

p.zitatunterschrift {
  text-align: right;
  font-size: 0.55em;
}

pre {
  background-color: #fff;
  background-image: none;
  margin-left: 2em;
  margin-right: 2em;
  border: solid #ecab64 1px;
  font-size: 80%;
  color: #000;
}

pre code {
  display: block;
  margin: 0.3em;
}

cite {
  quotes: '"' '"';
}

cite:before {
  content: open-quote;
}

cite:after {
  content: close-quote;
}

p code, li code, h1 code, h2 code, h3 code {
  color: #c00;
  /*font-size: 1.25em;*/
}

.shellprompt {
  font-weight: bold;
}

.redfg {
  color: #c00;
}

h1, h2, h3 {
  clear: both;
  margin: 1em 0 0.5em 0;
}

h1 {
  text-align: left;
  font-variant: small-caps;
  font-weight: bold;
  font-size: 1.2em;
}

h2 {
  text-align: left;
  font-weight: bold;
  font-size: 1em;
}

h2.news {
  clear: none;
  margin-top: 1em;
  margin-bottom: 0.3em;
}

h3 {
  color: #c12e49;
  font-style: italic;
  font-size: 1em;
}

p.news {
  margin: 0;
  margin-bottom: 0.5em;
  padding-left: 2em;
}

div.break {
  clear: both;
  margin: 0;
}

p.newsdate, p.filedate {
  font-size: 0.6em;
  font-style: italic;
}

p.newsdate {
  margin-top: -3em;
  float: right;
}

p.filedate {
  margin: 1em 0 -1em 0;
  text-align: right;
}

ul {
  margin-top: 0;
  margin-bottom: 1em;
}

a {
  text-decoration: underline;
  color: #3830e6;
}

a:hover {
  text-decoration: underline;
  color: #e15815;
}

ul#nav1 {
  list-style: none;
  margin: 0;
  padding: 0;
}

ul#nav1 li {
  margin: 0;
  padding: 0;
}

ul#nav1 li a {
  margin: 0;
  display: block;
  padding: 0.4em 1em;
  font-weight: bold;
  font-size: 1em;
  text-decoration: none;
}

ul#nav1 li a {
  border-bottom: solid #ecab64 1px;
  color: #fff;
  background-color: #4c40bf;
}

ul#nav1 li a:hover {
  background-color: #ecab64;
  color: #514d5b;
  border-bottom: solid #ecab64 1px;
}

.hidden {
  display: none;
}

/* inhaltsverzeichnis */

div.inhaltsverzeichnis_inline {
  padding: 0;
  margin: 0;
}

div.inhaltsverzeichnis_inline > h1 {
  font-size: 1.2em;
  font-variant: small-caps;
}

div.inhaltsverzeichnis_inline > ul {
  font-size: 1em;
  list-style-position: outside;
  list-style-type: none;
  margin: 0;
  padding: 0.5em 0.5em 0.5em 0.5em;
  border: 1px dashed #ECAB64;
  background-color: #eee;
}

div.inhaltsverzeichnis_inline > ul a {
  text-decoration: none;
  display: block;
}

div.inhaltsverzeichnis_inline > ul li:hover {
  background-color: #F5F6FF;
}

.indent0 {
  padding-left: 0;
}

.indent1 {
  padding-left: 1em;
}

.indent2 {
  padding-left: 2em;
}

div.inhaltsverzeichnis_top {
  text-align: right;
  margin: 0;
  padding: 0;
}

div.inhaltsverzeichnis_top a {
  font-size: 80%;
  text-decoration: none;
  color: inherit;
}

div.inhaltsverzeichnis_left {
  padding: 0;
  margin: 0;
  position: fixed;
  left: 0.25em;
  bottom: 0.5em;
  width: 10em;
}

div.inhaltsverzeichnis_left > div {
  position: absolute;
  display: none;
  bottom: 2em;
  left: 0.8em;
  width: 635px;       /* nicht schön. Ich hätte gern gesagt 62% von der Gesamtbreite */
  border: solid #ecab64 2px;
  -moz-border-radius: 0.4em;
  border-radius: 0.4em;
  background-color: #eee;
  z-index: 100;
}

div.inhaltsverzeichnis_left:hover > div {
  display: block;
}

div.inhaltsverzeichnis_left > h1 {
  font-size: 0.8333333em;
  padding: 0.4em 0.8em;
  margin: 0;
}

div.inhaltsverzeichnis_left > h1 > a {
  text-decoration: none;
}

div.inhaltsverzeichnis_left > div > ul {
  font-size: 1em;
  list-style-position: outside;
  list-style-type: none;
  margin: 0.2em;
  padding: 0.3em;
  max-height: 392px;
  overflow: auto;
}

div.inhaltsverzeichnis_left > div > ul a {
  text-decoration: none;
  display: block;
}

div.inhaltsverzeichnis_left > div > ul li:hover {
  background-color: #F5F6FF;
}

/* directory listing */

div.l0 a img {
  border: 0;
  vertical-align: middle;
}

div.l0 td {
  font-size: 100%;
  border-collapse: collapse;
}

div.l0 tr.even {
  background-color: #e5e6ee;
}

div.l0 tr.odd {
  background-color: #d5d6dd;
}

div.l0 tr:hover {
  background-color: #aaeeff;
}

div.l0 th {
  background-color: transparent;
  color: white;
}

div.l0 tr.l0frame:hover {
  background-color: transparent;
}

div.l0 tr.l0frame th:first-child {
  -moz-border-radius-topleft: 1em;
  border-top-left-radius: 1em;
}

div.l0 tr.l0frame th:last-child {
  -moz-border-radius-topright: 1em;
  border-top-right-radius: 1em;
}

div.l0 a {
  display: block;
  padding: 2pt 10px;
  margin: 0;
  vertical-align: middle;
  text-decoration: none;
  color: blue;
}

div.l0 a:hover {
  color: red;
}

div.l0 span {
  padding: 2pt 0;
}

div.l0 table {
  border-spacing: 1px;
  width: 100%;
}

div.l0 {
  -moz-border-radius: 1em;
  border-radius: 1em;
  padding-bottom: 1.1em;
  background-color: #4C40BF;
}

col.l0col1 {
  width: 36px;
}

col.l0col2 {
}

col.l0col3 {
  width: 8em;
}

col.l0col4 {
  width: 10em;
}

col.l0col5 {
  width: 5em;
}

td.l0col3 {
  text-align: right;
  padding-right: 5px;
}

td.l0col4 {
  text-align: right;
  padding-right: 5px;
}

td.l0col5 {
  text-align: right;
  padding-right: 5px;
}

span.l0sort {
  padding: 0;
  line-height: 1;
  font-size: 1.2em;
  cursor: pointer;
}

span.l0sort:hover {
  color: red;
}

/* tooltips */

span.tooltip {
  position: relative;
  z-index: 10;
  color: #e15815;
}

span.tooltip span {
  display: none;
}

span.tooltip:hover {
  z-index: 20000;
  background-color: #e15815;
  color: #eceefa;
}

span.tooltip:hover span.tooltipbox {
  display: block;
  position: absolute;
  top: 1.2em;
  left: -20px;
  width: 382px;
  padding: 0;
  margin: 0;
  color: #514d5b;
}

span.tooltip:hover span.tooltiptop {
  display: block;
  margin: 0;
  height: 93px;
  width: 382px;
  background-image: url(/-/img/tooltip_top.png);
}

span.tooltip:hover span.tooltipmiddle {
  display: block;
  margin: 0;
  width: 382px;
  background-image: url(/-/img/tooltip_middle.png);
  background-repeat: repeat-y;
  max-height: 110px;
  overflow: visible;
}

span.tooltip:hover span.tooltipmiddle span.tooltipinnerbox {
  display: block;
  width: 332px;         /* IE Bug */
  margin: 0 20px;
  padding: 0 5px;
  max-height: 150px;
  overflow: auto;
  position: relative;
  top: -20px;
}

span.tooltip:hover span.tooltipbottom {
  display: block;
  margin: 0;
  height: 53px;
  width: 382px;
  background-image: url(/-/img/tooltip_bottom.png);
}

span.tooltip:hover span.h {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  font-variant: small-caps;
  margin: 0.5em 0 0.3em 0;
  padding: 0;
}

span.simplett {
  position: relative;
  z-index: 10;
  color: #e15815;
}

span.simplett span {
  display: none;
}

span.simplett:hover {
  z-index: 20;
  background-color: #e15815;
  color: #eceefa;
}

span.simplett:hover span {
  display: block;
  position: absolute;
  top: 18px;  /* 12*1.5 (font-size * line-height) */
  left: -20px;
  width: 382px;
  padding: 0;
  margin: 0;
  color: #514d5b;
}

/*** comments ***/
div#comment_container_bg {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  background-color: black;
  z-index: 10;
}

div#comment_container,
div#comment_container_msg,
div#comment_container_preview {
  position: fixed;
  top: 10%;
  left: 5%;
  width: 90%;
  z-index: 11;
  background-color: #eceefa;
  -moz-border-radius: 0.3em;
  border-radius: 0.3em;
  border: solid #ccc 1px;
  max-height: 80%;
  overflow-y: auto;
}

div#comment_container button,
div#comment_container_msg button,
div#comment_container_preview button {
  margin-right: 0.4em;
  margin-top: 0.5em;
  line-height: 1;
}

div#comment_container > div,
div#comment_container_msg > div,
div#comment_container_preview > div,
div#comment_container_preview > div > div {
  margin: 0.3em;
}

div#comment_container label {
  width: 3.5em;
  position: relative;
  display: inline-block;
  margin-left: 0;
  margin-right: 1em;
  text-align: left;
}

div#comment_container label span.tt {
  position: absolute;
  display: none;
}

div#comment_container label:hover span.tt {
  position: absolute;
  display: block;
  width: 35em;
  left: 4.5em;
  top: 1.42em;
  padding: 0.2em;
  border: solid #ecab64 1px;
  background-color: #eceefa;
  background-image: url(/-/img/bg.png);
  background-repeat: repeat;
  -moz-border-radius: 0.5em;
  border-radius: 0.5em;
  -moz-border-radius-topleft: 0;
  border-radius-top-left: 0;
}

div#comment_container input[type="text"] {
  width: 20em;
  margin: 0;
  border: solid #ecab64 1px;
}

div#comment_container input[type="text"] {
  width: 20em;
  margin: 0;
  border: solid #ecab64 1px;
}

div#comments_show_if_script_enabled {
  margin: 0 2em;
}

div#comments_show_if_script_enabled button {
}

div#comment_editor {
  border: solid #ecab64 1px;
  margin: 0.5em 0em;
  padding: 0;
  background-color: white;
  -moz-border-radius: 0.5em;
  border-radius: 0.5em;
}

div#comment_editor > div {
  margin: 0.5em;
  height: 15em;
}

p.comment_block {
  margin-bottom: 0;
  margin-top: 1em;
}

div.comment_block {
  border: solid grey 1px;
  -moz-border-radius: 0.3em;
  border-radius: 0.3em;
  background-color: #F5F6FF;
  position: relative;
}

div.comment_block div.comment_control {
  position: absolute;
  top: -0.8em;
  right: 0.5em;
  z-index: 1;
  margin: 0;
  padding: 0;
}

div.comment_block div.comment_control button {
  font-size: 0.6em;
  margin: 0 0.2em;
}

div.comment_block > div {
  margin: 0.3em;
  line-height: 1;
}