@IMPORT url("style.css");

/* To hide the menu and everything related to it:
.nav-menu-top { display: none; } */

body#nav-option-home .nav-menu-top LI.nav-option-home A,
body#nav-option-axis .nav-menu-top LI.nav-option-axis A,
body#nav-option-tst .nav-menu-top LI.nav-option-tst A,
body#nav-option-doc .nav-menu-top LI.nav-option-doc A,
body#nav-option-java .nav-menu-top LI.nav-option-java A,
body#nav-option-lang .nav-menu-top LI.nav-option-lang A,
body#nav-option-install .nav-menu-top LI.nav-option-install A,
UL#nav-menu LI.selected A {
	background-color: #eee;
}