body {
	font-family:Helvetica,Arial,sans-serif;
}
h1 {
	text-align:center;
}

h2 {
	margin-top:2em;
	margin-bottom:0;
}

h3 {
	margin-top:1em;
	margin-bottom:0;
}

ul {
	margin-top:0;
}

pre, pre.out {
	background:#EEE;
	padding:0.05em 0.333em;
	border:0.1em dashed #090;
	margin-top:0.5em;
	margin-bottom:0.25em;
}
pre.out {
	background:#000;
	color:#FFF;
	border-style:solid;
}
th {
	text-align: left;
}

kbd {
	color:#AA0;
}
.keyword {
	font-weight: bold;
}
.chr {
	color:#060;
}
.note {
	font-size: xx-small;
}
.commentaire {
	color:#666;
	font-style:oblique;
}
.bad {
	color:#E00;
}
.error {
	color:#F00;
	text-decoration:line-through;
}
.prompt {
	font-weight:bold;
	font-style:oblique;
}
.red {
	background: #F99;
}
.green {
	background: #9F9;
}
.blue {
	background: #BBF;
}
.yellow {
	background: #FFB;
}
.orange {
	background: #FDA;
}