.menu {
	position:relative top left;
	width: 100%; height:26px; margin:0; padding:0;
	background-color: #184c8f;
	z-index: 100; 
	font-family: Arial, Helvetica, sans-serif  ; color:#fff;  font-size:14px; /* ne sert à rien...*/
	position: relative; top:-1px;
	margin:0; padding:0;
}
.menu ul {
	padding: 0; margin: 0; list-style-type: none; 
	display:inline;
}
.menu ul li {
	float: left; width:auto; display:inline; 
	position: relative;  
	margin:0; padding:0; 
	background-position:top right;
	text-align:center;
	height: 26px; line-height:26px; 
}
#last {
	float: left; display:block; width:auto; 
	margin:0; padding:0;
	text-align:center;
	height: 26px; line-height:26px; 
}
.menu ul li a {
	display: block; font-size:14px; 
	/* c'est ici que se règle la largeur du menu : */
	padding-left:43px; /*|padding-left: 46px;*/ padding-right: 43px; /*|padding-right:47px;*/
	background-color:#184c8f; 
	color: #fff; font-size:14px; /* font-size pour FF, mais pas pour a:active */ 
	text-decoration:none;
}
.menu ul li a:visited {
	background-color: #184c8f;
	color:#fff; font-size:14px;
}
.menu ul li a:hover {
	background-color: #fff; color:#184c8f; font-size:14px; text-decoration:none;
}
.menu ul li a:active {
	background-color: #fff; color:#184c8f; font-size:14px;
}
html .menu ul li a  {
	width: auto;  font-size:14px;
}
.menu a#current {
	background-color: #fff; color:#184c8f;;
	color:#184c8f;  font-size:14px;
}