#pagemenu {
	font-weight: bold;
}

#pagemenu a {
	display: block;
	margin-top: 10px;
	margin-bottom: 10px;

}

#pagemenu .bottom-hr, #pagemenu .both-hr {
	padding-bottom: 20px;
	border-bottom: 2px solid #042147;
	margin-bottom: 20px;
}

#pagemenu .top-hr {
	padding-top: 10px;
	border-top: 2px solid #042147;
	margin-top: 20px;
	width: 100%;
}


#pagemenu .both-hr {
	margin-top: 20px;
	padding-top: 20px;
	border-top: 2px solid #042147;
}

#pikto {
	FONT-WEIGHT: bold;
	border-bottom: 2px solid #042147;
	height: 40px;
	vertical-align: bottom;
	margin-top: 14px;
	margin-bottom: 20px;
}

#pikto img {
	width: 35px;
	height: 35px;
	vertical-align: text-bottom;
}

#main-menu {
	margin-bottom: 15px;
	height: 30px;
	text-align: center;
	font-size: 15px;
	font-weight: bold;
	white-space: nowrap;
}

#main-menu a, #main-menu span {
	float: left;
	display: block;
	margin-right: 9px;
	border-bottom: 3px solid #042147;
	border-top: 5px solid #042147;
	padding-top: 0px;
	padding-bottom: 2px;
	width: 160px;
}

#main-menu span {
	background-color: black;
	color: white;
}

#format-menu {
	text-align: center;
	margin-top: 25px;
	margin-bottom: 25px;

}

#format-menu-inner {
	width: 100%;
	font-size: 10px;
	border-width: 1px;
	border-color: #CCCCCC;
	border-bottom-style: solid ;
}

#format-menu td {
	white-space: nowrap;
	/* at 12px IE 6 break the line at 'Pdf documentum' */
	border-right-style: solid ;
	border-width: 1px;
	border-color: #CCCCCC;
}

#format-menu table {
	float:none;
	clear: left;
}

#admin-menu {
	text-align: center;
	font-weight: bold;
	border-top: 2px solid #042147;
	padding-top: 3px;
	border-bottom: 5px solid #042147;
	padding-bottom: 0px;
	height: 18px;
}

#admin-menu a, #admin-menu span {
	display: block;
	float: left;

}


#banner {
	text-align: center;
	padding: 2px;
	margin-bottom: 20px;
}

/* IE hack: hide from IE6 */
/*html > body #banner {
	padding: 20px;
}
*/

.banner-inner {
	width: 468px;
	height: 60px;
}

.langmenu {
	font-size: 14px;
}