body{
  background-image: url(backs/grau.gif);
  background-color: rgb(214, 214, 214);
  color: rgb(0, 0, 64);
}
p{
  color: rgb(0, 0, 64);
}
p span.weglassen {
   display:none;
}
a:link{
  color: rgb(0, 0, 128);
  background: inherit;
  text-decoration: underline;
}
a:visited{
  color: rgb(128, 0, 0);
  background: inherit;
  text-decoration: underline;
}
/* top element of navigation bar : link to main page */
/* padding = 0 is needed for Mozilla */
ul.NavBar{
  list-style-type: none;
  margin-left: 0pt;
  padding-left: 0pt;
}
/* indented elements of navigation bar */
/* padding = 0 is needed for Mozilla */
ul.NavBar ul{
  list-style-type: disc;
  margin-left: 1pc;
  padding-left: 0pt;
}
/* Google logo on search page */
a.Google{
  font-size: x-large;
  font-family: times;
  text-decoration: none;
}
.GoogleG{
  color: rgb(0, 0, 207);
}
.GoogleOE{
  color: rgb(207, 0, 0);
}
.GoogleO{
  color: rgb(255, 207, 0);
}
.GoogleL{
  color: rgb(0, 175, 0);
}
.Trademark{
  color: rgb(0, 0, 0);
  font-size: xx-small;
  font-family: times;
  vertical-align: super;
  text-decoration: none;
}