ul.ws_menu {
	font-size: 12px;
	font-weight: bold;
	font-family: Tahoma, Arial, Helvetica, sans-serif;
	list-style-type: none; /* suppression of useless elements */
	width: 100%; /* precision for Opera */
}
ul.ws_menu li {
/*  float: left;  */ /* lists aligned to the left */
	float: none;
}

ul.ws_menu li a {
/*	float: left; */
	float: none;
	width: 100px; /* definition of menu button size */
/*	height: 20px; */
	display: block;
	padding: 2px;
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
	margin-right: 0px;

	background-color: #336699;
	background-image: none;
	background-repeat: no-repeat;
	background-position: top left;

	color: #bbddff;
	text-decoration: none;
	text-align: center;

	border-left-width: 1px;
	border-left-style: solid;
	border-left-color: #336699;
	border-right-width: 1px;
	border-right-style: solid;
	border-right-color: #336699;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #6699bb;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #6699bb;
}

 /* must be after :link and :visited; before :active
 ---- suggested by http://www.w3schools.com/css/pr_pseudo_visited.asp */
ul.ws_menu li a:hover {
	background-color: #6699bb;
	background-image: none;
	background-repeat: no-repeat;
	background-position: top left;

	color: #FFFFFF;
	text-decoration: none;
	text-align: center;

	border-left-width: 1px;
	border-left-style: solid;
	border-left-color: #336699;
	border-right-width: 1px;
	border-right-style: solid;
	border-right-color: #336699;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #336699;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #336699;
}

.ws_menu_active { 
	background-color: #aaaaaa;
	background-image: none;
	background-repeat: no-repeat;
	background-position: top left;

	color: #fffffff;
	color: #000000;
	text-decoration: none;
	text-align: center;

	border-left-width: 0px;
	border-left-style: solid;
	border-left-color: #888888;
	border-right-width: 0px;
	border-right-style: solid;
	border-right-color: #888888;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #888888;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #888888;
}