body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 80%;
}
td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 80%;
}
h1 {
	background: #ffffcf;
	font-size: 130%; font-weight: bold;
	padding:10px;
	border-bottom: medium solid #ffc800;
	border-top: medium solid #ffc800;
}
h2 {
	background: #ffffcf; font-size: 100%;
	font-weight:bold;
	padding: 5px;
	border-left: medium solid #ffc800;
}
a {
	color: #0000cc;
/*	text-decoration: none;*/
}
a:hover {
	color: #ff33cc;
	text-decoration: underline;
	background: #ffff00;
}
a:visited {
	color: #800080;
}
a:active {
	color: #ff0000;
}
.shell {
	position: relative;
	padding:5px;
	left:10%;
	width:80%;
	background:#E0FFE0;
	border:1px solid #000;
}
pre {
	font-size: 130%;
}
#google_droite {
	background:#ffffff;
	float:right;
	width: 20%;
	border-left: 0px;
	border-right: 0px;
	border-top: 0px;
	border-bottom: 0px;
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0px;
	margin-bottom: 0px;
}