body {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%; color: black; background: white;}
a { text-decoration:underline; color: black; }
a:visited {text-decoration:underline; color: black; }
a:hover { text-decoration:underline; color: #555555; }
a.kondolenz { text-decoration:underline; color: red; }
a.kondolenz:visited {text-decoration:underline; color: red; }
img { border: 0; }
pre {
  font-size: 120%;
  padding: 0.5em;
  border: 1px dashed #8cacbb;
  color: Black;
  background-color: #f7f9fa;
  overflow: auto;
}