body {
  background: #000040;
  margin: 12px;
  margin-top: 0px;
  padding: 0px;
}

li, table, p {
  font-size: 13px;
  margin: 0px;
  margin-bottom: 8px;
  color: #000000;
  font-family: verdana, arial, sans-serif;
}

div {
  font-size: 13px;
  color: #404040;
  font-family: verdana, arial, sans-serif;
  padding: 0px;
  margin: 0px;
}

a {
  color: #000060;
  font-weight: bold;
  text-decoration: none;
}

a:hover {
  color: #4040FF;
  font-weight: bold;
  text-decoration: none;
}

a.menu {
  font-size: 11px;
  color: #FFFFFF;
  font-weight: bold;
  text-decoration: none;
}

a.menu:hover {
  font-size: 11px;
  color: #FFFFFF;
  font-weight: bold;
  text-decoration: underline;
}

div.footer {
  margin-top: 4px;
  margin-bottom: 16px;
  text-align: center;
  font-size: 9px;
  color: #C0C0C0;
  font-weight: bold;
}

div.artikel {
  margin: 0px;
  padding: 0px;
}

div.artikel h1 {
  background: #002060;
  margin: 0px;
  padding: 2px;
  font-weight: bold;
  font-size: 11pt;
  font-family: verdana, arial, sans-serif;
  padding-left: 8px;
  color: #FFFFFF;
  border-top: 1px solid #FFFFFF;
  border-bottom: 1px solid #FFFFFF;
}

div.artikel div.content {
  text-align: left;
  background: #000000;
  background: white;
  padding: 7px;
  border: 1px solid black;
}

div.artikel_edit {
  text-align: right;
  margin: 0px;
  padding: 0px;
  padding-right: 4px;
  padding-bottom: 8px;
  font-size: 9px;
  color: #C0C0C0;
  font-weight: bold;
}

div.kurz {
  font-size: 11px;
  border: none;
  text-align: left;
  background: #000040;
  padding: 4px;
  padding-left: 24px;
  color: #DFDFDF;
  padding-bottom: 12px;
}

div.footer a, div.artikel_edit a {
  color: #A0A0A0;
  font-size: 9px;
  font-weight: bold;
  text-decoration: none;
}

div.footer a:hover, div.artikel_edit a:hover {
  font-size: 9px;
  color: #C0C0C0;
  font-weight: bold;
  text-decoration: underline;
}

div.kurz a {
  color: #DFDFDF;
  font-weight: normal;
  text-decoration: none;
}

div.kurz a:hover {
  color: #FFFFFF;
  font-weight: normal;
  text-decoration: underline;
}

tr.grey {
  background: #E7E7E7;
}