/* Generelle Formatierungen */
BODY {
  margin-top : 0px;
  background-color : White;
}
H1{
  font-size : medium;
}
H2{
  font : bold small;
  font-style : normal;
  text-decoration : underline;
}
H3 {
  font : bold small;
}
P, LI, UL, BODY, TD  {
  font-size : x-small;
  font : sans-serif;
  font-family : sans-serif;
}
/* Navigationsdreiecke */
IMG.nav {
  border : 0;
  border-left-width : 5px;
  border-right : 5px;
  margin-left : 5px;
  margin-right : 5px;
  valign : bottom;
} 
img.icon{
   border:1px solid silver;
}
IMG {
  border : 0;
}
DIV.m {
  font : x-small/140%;
  font-weight : bold;
}
DIV.s {
  font : normal xx-small;
}
pre.pl{
  border:1pt solid black;
  background-color:silver;
  padding:12pt
}
span.uu{
  font-weight: bold;
  font-style: italic;
  text-decoration: underline;
}