body {
	margin: 20px 60px;
	font-family: Verdana, helvetica, arial, sans-serif;
	font-size: 0.9em;
}

h1, h2, h3 { background-color: transparent; color: #25B; }
h1 { text-align: center; }

a:hover { background-color: #FFA; }

ol, li { margin-top: 3px; }

div.sommaire {
	background-color: #DDD;
	margin: 20px 0;
	border: 2px outset black;
	padding: 5px 10px;
}

p {
	font-size: 1em;
	line-height: 1.5em;
}

abbr[title], 
acronym[title]  { border-bottom: 1px dotted black; cursor: help; }
abbr.sigle      { text-transform: uppercase; }

div.nav        { text-align: center; }
div.note       { margin: 0 25px; }
code, pre, var { font-family: "Courier New", Courier, Monospace; }
div#check      { margin-top: 10px; }
div#check img  { border: none; width: 88px; height: 31px; }

pre {
	overflow: auto;
	/* 
		On spécifie une largeur, sinon, IE laisse la boite déborder 
		du cadre parent et ignore la propriété overflow...
	*/
	width: 92%;
	max-height: 1000px;
	background-color: #FCFCFC;
	margin: 10px 20px;
	border: 1px dashed gray;
	padding: 10px;
	color: black;
}

/* Pour les navigateurs conformes, on les laisse gérer eux mêmes la largeur */
body > pre { width: auto; }

var             { background-color: transparent; color: green; }
code.constant   { font-weight: bold; color: #B29; text-transform: uppercase; }
code.setting    { color: #E70; }


/*
	Couleurs du code php colorisé
*/
span.hl-bg      { background-color: inherit; color: white; }
span.hl-comment { background-color: inherit; color: #F90; }
span.hl-default { background-color: inherit; color: #00C; }
span.hl-html    { background-color: inherit; color: black; }
span.hl-keyword { background-color: inherit; color: green; }
span.hl-string  { background-color: inherit; color: #D00; }