/* CSS for controlling the left hand menu expansion and collapse */


#menu a {
  color: #666666;
  padding: 2px;
  border: none;
  text-decoration: none;
  font-size: 14px;
  font-weight: bold;
  width: 100%;
  display: block;
}

#menu a:hover {
  color: black;
  padding: 1px;
  border: solid 1px black;
  text-decoration: none; 
}

#menu a:active {
  color: red;
  padding: 1px;
  border: solid 1px black;
  text-decoration: none;
}

/* by default, sub-menus are hidden */
div.submenu {
	margin-left: 20px;
	display: none;
}

/* show the downloads submenu */
#sub-downloads {
	display: block;
}

/* show the tutorial submenu */
#sub-tutorials {
	display: block;
}

/* show the protege3.2 submenu */
body.plugins3_2 #sub_plugins_3_2 {
	display: block;
}

/* show the protege4 submenu */
body.plugins4_0 #sub_plugins_4_0 {
	display: block;
}

/* show the community submenu */
body.community #sub-community {
	display: block;
}

/* make the super menu highlight if on a sub page */
/*
body.community a#communitymenu {
	color: white;
	background: black;
}

body.downloads a#downloadsmenu {
	color: white;
	background: black;
}
body.plugins4_0 a#plugins_4_0menu {
	color: white;
	background: black;
}
body.plugins3_2 a#plugins_3_2menu {
	color: white;
	background: black;
}
body.tutorial a#tutorialsmenu {
	color: white;
	background: black;
}

/* top menu */
body#home a#homemenu{color: red;}
body#about a#aboutmenu{color: red;}
body#blog a#blogmenu{color: red;}
body#downloads a#downloadsmenu{color: red;}
body#ontologies a#ontologiesmenu{color: red;}
body#learn a#tutorialsmenu{color: red;}
body#papers a#papersmenu{color: red;}
body#community a#communitymenu{color: red;}

/* about submenu */
body#coode a#coodemenu{color: red;}
body#hyontuse a#hyontusemenu{color: red;}
body#people a#peoplemenu{color: red;}
body#associates a#associatesmenu{color: red;}

/* downloads submenu */
body#protege4_0 a#protege_4_0menu{color: red;}
body#protege4_0plugins a#plugins_4_0menu{color: red;}
body#protege4_0features a#features_4_0menu{color: red;}

body#plugins_3_2 a#plugins_3_2menu{color: red;}
body#owlviz a#owlvizmenu{color: red;}
body#wizard a#wizardmenu{color: red;}
body#cdc a#cdcmenu{color: red;}
body#owldoc a#owldocmenu{color: red;}
body#abstractsyntax a#abstractsyntaxmenu{color: red;}
body#rdfsexporter a#rdfsexportermenu{color: red;}
body#owlindividualstab a#individualstabmenu{color: red;}
body#owlvalidator a#owlvalidatormenu{color: red;}
body#manowlsyntaxeditor a#manowlsyntaxeditormenu{color: red;}
body#owlunittest a#unittestmenu{color: red;}
body#debugger a#debuggermenu{color: red;}
body#easyconditions a#easyconditionsmenu{color: red;}

body#pizzafinder a#pizzafindermenu{color: red;}
body#galen a#galenmenu{color: red;}

body#owldoc_server a#owldocservermenu{color: red;}


/* learn submenu */
body#protege-owl-tutorial a#owltutorialmenu{color: red;}
body#tutorial-dates a#tutorialeventsmenu{color: red;}
body#tutorial-materials a#tutorialmaterialsmenu{color: red;}

/* community submenu */
body#mailinglist a#mailinglistmenu{color: red;}
body#rss a#rssmenu{color: red;}
body#mantis a#mantismenu{color: red;} /* outside of look and feel */
body#feedback a#feedbackmenu{color: red;}
body#debugging a#debuggingmenu{color: red;}