/* Mise en forme du menu infra*/
.menu-infra
	{
	border: 1px solid #EFEFEF;
	background-color: #EFEFEF;
	padding: 5px;
	text-align: center;
	font-size: 0.9em;
	}
.menu-infra a
	{
	white-space: nowrap;
	color: #333 !IMPORTANT;
	text-decoration: none;
	}
.menu-infra a:hover
	{
	text-decoration: underline;
	}
.menu-infra a:visited
	{
	color: #333 !IMPORTANT;
	}

.menu-infra ul
	{
	list-style: none;
	margin: 0;
	padding: 0; 
	}
.menu-infra li
	{
	display: inline;
	font-size: 90%;
	padding-right: 0.2em;
	}
/* Fin mise en forme du menu infra */