.encadre {
	border: 1px solid #000000;
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 0px;
	padding-bottom: 0px;
}

/* Pour compatibilite du curseur sur IE et Mozilla, il faut : */
/* 'cursor:pointer;' et 'cursor:hand;' dans cet ordre-la */
.divmenu {
	font-family: Verdana, Arial;
  	font-weight: normal;
	font-size: 8pt;
	margin-top: 10;
	margin-bottom: 10;
	cursor: pointer; cursor: hand;
	color: #0000FF;
	text-decoration: none;
	background: #fafafa;
}

.divmenuhover {
	color: #0000FF;
	text-decoration: none;
	font-weight: bold;
	background: #fafafa;
}

.amenu {
	font-family: Verdana, Arial;
	font-size: 8pt;
	margin-top: 10;
	margin-bottom: 10;
	cursor: pointer; cursor: hand;
	color: #0000FF;
	text-decoration: none;
	background: #fafafa;
}

.amenu:visited {
	color: #0000FF;
	text-decoration: none;
}

.amenu:active {
	color: #0000FF;
	text-decoration: none;
	font-weight: bold;
	background: #00AAFF;
}

.amenu:hover {
	color: #FF0000;
	text-decoration: none;
	font-weight: bold;
}

.posmenu {
	font-family: Verdana, Arial;
	font-size: 8pt;
	margin-top: 10;
	margin-bottom: 10;
	cursor: pointer; cursor: hand;
	color: #FF0000;
	text-decoration: none;
	font-weight: bold;
	background: #00AAFF;
}