body {
	width:94%;
	margin-left:3%;
	border:1px solid gray;
	line-height:150%;
	}
header {
    text-size:150%;
	padding:0.5cm;    /*em signifie par rapport à la taille de police courante*/
	color:white;
	background-color:gray;
	}
footer {
	padding:0.2cm;    
	color:white;
	background-color:gray;
	clear:left; 
	}
nav {
   float:left;
	width:140px;
	margin:0px;
	padding:1em; /* marge interne : taille d'un caractère */
	font-size:80%;
}

/******* partie menu dynamique **************/
nav li li {
  display:none;
}

nav li:hover {
  background:#e0e0e0;
}
nav li:hover li:hover {
  background:#e0e0e0;
}
nav li:hover li {
  display:list-item;
  background:#ffffff;
}

/********* fin du menu dynamique ****************/

section {
   margin-left:160px;
	border-left:1px solid gray;
	padding:1em;
}
aside {
	float:right;
	width:200px;
}
nav  ul {
	padding-left: 1em;
	}
.centre {
    text-align:center;
    }
.figExemple {
	display:bloc;
	width:100%;
}
.bordure {
	border:1px solid gray;
	}
.souligne {
	text-decoration:underline;
	}
.code {
	margin:10px;
	border:solid;
	padding-left:10px;
	background-color:rgb(200,200,200);
	font-family:"Courier New",Courier,serif;
	font-size:10pt;
	line-height:10pt; 
	}