body {
	font-family: Times, Times New Roman, serif;
}

a img {
border: 0px;
margin-left: 5px;
margin-right: 5px;
}

#header {
	display:block;
	margin:10px;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 0px;
	border: 2px solid #00a;
	background: #eef; 
	padding: 20px;
	height: 128px;
	-moz-border-radius-topleft: 20px;
	-moz-border-radius-topright: 20px;
}

#header_title {
	display:block;
	font-size: 180%;
	text-align: center;
	margin: 5px;
	margin-left: auto;
	margin-right: auto;
	font-family: Times, Times New Roman, serif;
	font-weight: bold;
	color: #000;
}

#logo_jussieu {
	float: left;
}

#logo_linux {
	float: right;
	height: 128px;
}

#header_date {
	display:block;
	font-size: 130%;
	text-align: center; 
	margin: 5px;
	margin-left: 180px;
	margin-right: auto;
	font-family: Times, Times New Roman, serif;
	font-style: italic;
	color: #522;
}

#navigation_menu {
	display: block;
	margin:0px;
	margin-left: auto;
	margin-right: auto; 
	background: #00a;
	color: #eef;
}

#navigation_menu ul { 
	margin: 0px;
	margin-left: auto; 
	margin-right: auto; 
	text-align: center;
	padding: 5px;
}

#navigation_menu li {
	display:inline;
	border: 0px none #fff;
	margin: 0px;
	margin-left: 15px;
	margin-right: 15px;
	font-size: 110%;
	font-family: Times, Times New Roman, serif;
	font-weight: bold;
}

#navigation_menu a {
	color: #eef;
	text-decoration: none;
	padding: 2px;
	padding-left: 5px;
	padding-right: 5px;
	font-size: 95%;
}

#navigation_menu a:active {
	color: #eef;
}

#navigation_menu a:visited {
	color: #eef;
}

#navigation_menu a:hover {
	-moz-border-radius: 10px;
	background: #ffd;
	color: #00a;
}

h1 {
	font-size: 120%;
	text-align: center;
}

h2 {
	font-size: 105%;
	text-align: center;
}

#footnote {
	margin: 5px;
	margin-left: auto;
	margin-right: auto;
	text-align: center;
	font-weight: bold;
}

#footer {
	margin: 10px;
	margin-left: auto;
   	margin-right: auto;
	border: 2px solid #00a;
	background: #eef;
	padding: 10px;
	text-align: center;
-moz-border-radius-bottomleft: 20px;
	-moz-border-radius-bottomright: 20px;

}


#page {
width: 800px;
margin: 5px;
padding: 0px;
margin-left: auto;
margin-right: auto;
font-size: 100%;
font-family: helvetica, sans-serif;
}