/* CSS Menu 12.05.2013 */

  a {
    text-decoration: none;}

    &:active {color: #00437E}
    &:hover {color: #00437E}
    &:link {color: #00437E}
    &:visited {color: #00437E}
    }

  body {
    background-color: #DBD9C1;
    margin: 0;
    }
  
  table.menu_buttons {
    background-image: url(menu_inactive.gif);
    font-family: Arial;
    font-size: 11px;
    }

  td.menu_crumblepath {
    padding-left: 10px;
    font-family: Arial;
    font-size: 12px;
    height: 24px;
    }

  td.menu_index {
    background-color: #f0edd5;
    padding-left: 10px;
    font-family: Arial;
    font-size: 11px
    }

  .menu_active {
    background-image: url(menu_active.gif);
    padding-left: 8px;
    padding-right: 8px;
    }

  .menu_inactive {
    padding-left: 8px;
    padding-right: 8px;
    }