body {
	background-color: white;
	padding: 0px;
	margin: 0px;
}

a:link
{
	color: #885555;
}

a:active, a:visited
{
	color: #664444;
}

#main {
	margin: auto;
	margin-top: 5px;
	width: 600pt;
	font-size: 10pt;
}

body > div > div
{
	background-color: #AAAAAA;
}

#main_header h1
{
	font-size: 16pt;
}

#menu 
{
	position: fixed;
	right: 5px;
	top: 5px;
	background: white;
	padding: 5px 15px;
	border: thin solid black;
	border-top: thick solid black;
	display: none;
}

#menu h1
{
	font-size: 16pt;
}

#menu ul
{
	padding: 0;
}

#menu ul > li
{
	list-style-position: inside;
}

#menu:hover
{
	display: block;
}

#menu_toggler
{
	position: fixed;
	right: 5px;
	top: 5px;
	width: 5px;
	height: 5px;
	border: thin solid black;
}

#menu_toggler:hover #menu
{
	display: block;
}

#main > div
{
	margin-top: 0pt;
	margin-bottom: 5pt;
	border: thin solid green;
	border-top-width: thick;
	padding-left: 10px;
	padding-right: 10px;
}

p.abstract
{
	font-style: italic;
}

div.avant-propos
{
	font-style: italic;
}
		   
div.avant-propos a
{
	font-style: normal;
}

code
{
	color: #CC0000;
}

em
{
	color: #AA22AA;
}

div.box h1
{
	font-size: 12pt;
	text-decoration: underline;
}

div.box h2 
{
	font-size: 10pt;
	text-decoration: none;
}

div.exo > h1 
{
	font-size: 12pt;
	text-decoration: underline;
}

div.exo > h1:before 
{
	content: "Exercice ";
}

ol.questions 
{
	margin-top: 0;
}

.code {
	font-family: monospace;
	white-space: pre;
	background-color: #dddddd;
	margin: 10pt;
	padding: 4pt;
	border: thin solid black;
}

.code em {
	color: #BB6666;
}

div.sample
{
	background-color: #dddddd;
	margin: 10pt;
	padding: 4pt;
	border: thin solid black;
}

div.news
{
	margin-bottom: 10px;
}

div.news > h1
{
	margin: 0px;
	padding: 5px;
	font-size: 10pt;
	text-decoration: none;
}

div.news > p
{
	margin: 5px;;
}