/* DATEI: default.css */


body {
  background-color: #cccdf0;
  color: #000000;
  font-size: 100%;
  border: 40px solid #4a4d84;
  padding: 0px;
  margin: 0px;
}

div.menu {
  background-color: #4a4d84;
  position: fixed;
  color: #cccdf0;
  width: 300px;
  top: 0;
  left: 0;
  padding-left: 0px;
  padding-right: 0px;
  margin-left: 0px;
  margin-right: 0px;
}

.teaser {
  bottom: 0px;
  left: 0px;
}

.centered {
  margin-left: auto;
  margin-right: auto;
  text-align: center;
  display: block;
  clear: both;
}

h1,h2,h3,h4,p,ul,ol,li,div,td,th,address,blockquote,b,i,p {
  font-family:Arial,Verdana,Helvetica,sans-serif;
}

p,td,th {
  font-size: 100%;
}

td {
    vertical-align: top;
}

p, table {
  padding-left: 10px;
  padding-right: 10px;
  margin-right: 0px;
}

pre {
  background-color: #e5e6f7;
  margin-left: 10px;
  margin-right: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 2px;
  padding-bottom: 2px;
  overflow: auto;
}

p {
  padding-left: 20px;
  padding-right: 20px;
}

h1,h2,h3 {
  text-align:left;
  margin-top: 0.5em;
  margin-bottom:0.25em;
  margin-right: 10px;
  margin-left: 10px;
  padding-top: 0.5em;
  padding-bottom: 0.25em;
  padding-left: 10px;
  padding-right: 0px;
  background-color: #4a4d84;
  color: #e5e6f7;
}

h1 {
  font-size:180%;
}

body > h1 {
  margin-top: 0.5em;
}

h2 {
  font-size:140%
}

h3 {
  font-size:120%;
  color: #cccdf0;
}

tt {
  font-size: 120%;
}

tt.attr,
tt.tag {
  font-weight: bold;
}

h1.main-title {
  padding-left: 0px;
  padding-right: 0px;
  padding-bottom: 1em;
  margin: 0px;
  color: white;
}

a.tag {
  font-family: 'Courier New',monospace;
  font-size: 120%;
  font-weight: bold;
}

.tag:before {
  content: "<";
}

.tag:after {
  content: ">";
}

h2.tag {
  font-family: 'Courier New',monospace;
  font-weight: bolder;
  font-size: 150%;
  margin-left: 0px;
  margin-right: 0px;
  color: black;
  background-color: #cccdf0;
  border-top: 8px solid #4a4d84;
}

.lastchange {
  font-size: 75%;
  text-align: right;
  margin-left: -10px;
  background-color: #4a4d84;
  color: #cccdf0;
  margin-right: 0px;
}

a.menu {
  margin-left: 0px;
  padding-left: 0px;
}

div.menu * a:link,
div.menu * a:visited {
  color: white;
}

div.menu * a.hover,
div.menu * a:focus
{
  color: #cccdf0;
}

div.menu * a:active
{
  color: red;
}

menu > li {
  margin-left: 2ex;
}

th {
  background-color: #4a4d84;
  color: white;
  padding-left: 0.25em;
  padding-right: 0.25em;
}

th.col {
  text-align: left;
}

td {
  background-color: #e5e6f7;
  padding-left: 0.25em;
  padding-right: 0.25em;
}

td.entity {
  font-family: 'Courier New',monospace;
}

td.okay {
  background-color: #e0ffe0;
}

td.wrong {
  font-weight: bold;
  background-color: #ffe0e0;
}

td.comment {
  background-color: #e5e6f7;
  padding: 0px 0px 4px 4px;
}

td.number {
  background-color: #e5e6f7;
  text-align: right;
}

img.inline {
  float: left;
  margin: 5px;
}

p.thanks {
  clear: left;
  margin-bottom: 1cm;
}

p.address {
  clear: left;
  text-align: right;
}

span.person, span.place, span.reg {
  font-variant: small-caps;
}

span.reg {
  font-weight: bold;
}

p.thanks,
ul.thanks>li {
  margin-bottom: 5mm;
}

ul.thanks>li {
  margin-right: 1cm;
}

.applet {
  text-align: center;
}

.smaller {
  font-size: 80%;
}

p.nojava {
    font-size: 120%;
    font-weight: bold;
    background-color: white;
    border: 2px solid #8b0000;
    margin-left: 10%;
    margin-right: 10%;
    padding: 10px;
}