@import "../../../style2.css";
.menuBar {
 position:absolute;

 top:0px;

 background: #FFFFFF;
 
 font-size:8pt;
 
 cursor:hand;
}



.menuItem {

 background: #FFFFFF;

 font-size:10pt;

 font-family:arial;

 cursor:hand;
}



.menuButton {

 background: #FFFFFF;

 font-size:8pt;

 cursor:hand;
 
 border-color:#000000;

}

.menu{
 border-width:2px;

 border-color:#ffffff;
}


.menuLink {

 font-size:10pt;

 font-family:arial;

 cursor:hand;
}



.menuLink:hover {

 color:#dddddd;

}

.empty {

  padding:0px;

  margin:0px;

  border:0px;

  background:#ffffff;

 }



.codehighlight {background-color:#ffbbbb;}



.element {

	padding:0px;

	padding-left:10px;

	border-width:0px;

	text-decoration:none;

 }

.one:link{

	text-decoration:none;

	color:black;

}

.zeroormore:link {

	text-decoration:none;

	color:purple;

}

.oneormore:link {

	text-decoration:none;

	color:red;

}

.zeroorone:link {

	color:blue;

	text-decoration:none;

}

.oneof:link {

	color:orange;

	text-decoration:none;

}

.one:visited{

	text-decoration:none;

	color:black;

}

.zeroormore:visited {

	text-decoration:none;

	color:purple;

}

.oneormore:visited {

	text-decoration:none;

	color:red;

}

.zeroorone:visited {

	color:blue;

	text-decoration:none;

}

.oneof:visited {

	color:orange;

	text-decoration:none;

}