div.navigation {
	float: left ;
	color: yellow ;
	background-color: navy ;
	padding: 0.5em ;
	margin-right: 2em ;
	margin-bottom: 2em ;
	font-size: small ;
}

div.navigation a[href] {
	color: inherit ;
	text-decoration: none ;
}

div.navigation p {
	margin: 0 ;
	text-indent: 0 ;
}

div.navigation p.sub {
	text-indent: 2em ;
}

div.navigation .ici {
	color: navy ;
	background-color: yellow ;
}

div.pied {
	margin: 2em ;
	border-top: medium solid WindowText ;
	font-size: small ;
	font-style: italic ;
	background-color: lightgray ;
}

div.figure {
	margin: 2em ;
	font-size: smaller ;
}

div.figure .images {
	display: table ;
	margin: auto ;
}

div.figure img {
	background-color: white ;
}