/*
 * Style-Sheet fuer die Navigation
 *
 */
body {
  background-color: #cccccc;
  font-family: Garamont,'Times New Roman',Times,serif;
  font-size: 14px;
}

a {
  text-decoration: none;
  color: #720f0f;
}

a:hover {
  text-decoration:underline;
  color: #720f0f;
}

a.selected {
  text-decoration: none;
  font-weight: bold;
}

p.menu {
  font-size: 75%;
  text-align: center;
  margin-top: 0px;
  margin-bottom: 0px;
}

span.selected {
  font-weight: bold;
  color: #720f0f;
}