<!--

.menu {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 10pt;
    color: #b80101;
}

.menu-home {
   display: none;
}

.menu-publications {
   display: none;
}

.menu-ack {
	display: none;
}

.menu-doc {
   display: none;
}

.menu-license {
   display: none;
}


.menu-download {
   display: none;
}

.menu-addon {
   display: none;
}


-->