/*
  Vom Hauptmenue abhaengige Hintergrundbilder und Farben werden in
  styles/xxx/local.css eingestellt
*/

/*
  table.menu
  td.menuTop
  td.menuLevelIcon_xx, td.menuLevelIcon_xx_high
  td.menuLevel_xx, td.menuLevel_xx_high
  a.menuLevel_xx, a.menuLevel_xx_high
*/

table.menu {
  font-size: 13px;
  margin: 20px 0px 0px 0px;
}
td.menuTop {
}

td.menuLevelIcon_01,
td.menuLevelIcon_01_high,
td.menuLevelIcon_02,
td.menuLevelIcon_02_high,
td.menuLevelIcon_03,
td.menuLevelIcon_03_high {
  height: 15px;
  margin: 0px;
  padding: 0px;
  width: 35px;
}

td.menuLevelIcon_01_high,
td.menuLevelIcon_02_high,
td.menuLevelIcon_03_high {
  /* background-image siehe -> styles/xxx/local.css */
  background-repeat: no-repeat;
  cursor: hand;
}

td.menuLevel_01,
td.menuLevel_01_high,
td.menuLevel_02,
td.menuLevel_02_high,
td.menuLevel_03,
td.menuLevel_03_high {
  margin: 0px;
  padding: 0px 0px 3px 0px;
  width: 112px;
  }

td.menuLevel_02,
td.menuLevel_02_high {
  padding-left: 8px;
  }

td.menuLevel_03,
td.menuLevel_03_high {
  padding-left: 16px;
  }

a.menuLevel_01,
a.menuLevel_01_high,
a.menuLevel_02,
a.menuLevel_02_high,
a.menuLevel_03,
a.menuLevel_03_high {
  /* color siehe -> styles/xxx/local.css */
  font-weight: bold;
  text-decoration: none;
}