/* menu bar */
.menu {
		background-color:#cc0000;
		width:800px;
		font-size:12px;
		font-family:Verdana, Tahoma, Arial;
}

/* text of main menu if it is not the currently visited page */
a.mainMenu {
		text-decoration:none;
		margin-left:10px;
		margin-right:10px;
    color:#ffffff;
		font-weight: normal;
}

a.mainMenu:hover {
		text-decoration:underline;
		margin-left:10px;
		margin-right:10px;
    color:#ffffff;
		font-weight: normal;
}

/* text of main menu if it is the currently visited page */
a.mainMenuVisiting {
		text-decoration:none;
		margin-left:10px;
		margin-right:10px;
    color:#ff9999;
		font-weight: normal;
}

a.mainMenuVisiting:hover {
		text-decoration:underline;
		margin-left:10px;
		margin-right:10px;
    color:#ff9999;
		font-weight: normal;
}

/* text of submenu if it is not the currently visited page */
a.subMenu {
    text-decoration:none;
		color:#ffffff;
		font-size:11px;
		font-family:Verdana, Tahoma, Arial;
		margin-left:15px;
		margin-right:15px;
		font-weight: normal;
}

a.subMenu:hover {
		color:#ffffff;
		font-size:11px;
		font-family:Verdana, Tahoma, Arial;
		margin-left:15px;
		margin-right:15px;
		text-decoration:underline;
		font-weight: normal;
}

/* text of submenu if it is the currently visited page */
a.subMenuVisiting {
    text-decoration:none;
		color:#ff9999;
		font-size:11px;
		font-family:Verdana, Tahoma, Arial;
		margin-left:15px;
		margin-right:15px;
		font-weight: normal;
}

a.subMenuVisiting:hover {
		color:#ff9999;
		font-size:11px;
		font-family:Verdana, Tahoma, Arial;
		margin-left:15px;
		margin-right:15px;
		text-decoration:underline;
		font-weight: normal;
}

/* text of little menu on top of the page */
a.headMenu {
    text-decoration:none;
		color:#000000;
		font-size:9px;
		font-family:Verdana, Tahoma, Arial;
}

a.headMenu:hover {
    text-decoration:underline;
		color:#000000;
		font-size:9px;
		font-family:Verdana, Tahoma, Arial;
}

.navigation {
  border-left-width:4px; 
  border-bottom-width:1px; 
  border-top-width:0px; 
  border-right-width:0px; 
  border-color: #CC0000; 
  border-style:solid; 
  color: #CC0000; 
  padding-bottom:3px; 
  padding-left:7px; 
  font-size:9px; 
  text-align:center;
}