/* Datei: menu_format.css                           */
<!--
a.button {
  display:inline;
  background-image:url('bilder/menu_hg1.gif');
  text-align: center;
  text-decoration: none;
  color: #000000;
  border: 1px solid #0F337D;
  padding :5px;; font-style:normal; font-variant:normal; font-weight:bold; line-height:20px; font-size:10pt; font-family:Arial
}

a.button:hover {
  background-image:url('bilder/menu_hg2.gif');
  color: #0000FF;
  font-style:normal; font-variant:normal; font-weight:bold
  }
-->
<!--
a.button_um {
  display:inline;
  background-image:url('bilder/menu_hg3.gif');
  text-align: center;
  text-decoration: none;
  color: #000000;
  border: 1px solid #0F337D;
  font-style:normal; font-variant:normal; font-weight:bold; line-height:20px; font-size:8pt; font-family:Arial; padding-left:5px; padding-right:5px; padding-top:5px; padding-bottom:5px
}

a.button_um:hover {
  background-image:url('bilder/menu_hg2.gif');
  color: #0000FF;
  font-style:normal; font-variant:normal; font-weight:bold
  }
-->