.menu {
    font-size: 10pt;
    color: black;
    padding-left: 3pt;
    width: 100%;
}

.submenu {
    font-size: 10pt;
    color: black;
    padding-left: 15pt;
}

.menu-home {
   display: none;
}

.menu-overview {
   display: none;
}

.menu-people {
   display: none;
}

.menu-pictures {
   display: none;
}

.menu-publications {
   display: none;
}

.menu-software {
   display: none;
}

.menu-sponsors {
   display: none;
}

.menu-internal {
   display: none;
}