div.code {
	background-color: #E5E6FF;
	margin-left: 20px;
	margin-right: 50px;

	padding: 6px;
	margin-top: 10px;
	margin-bottom: 10px;
}

div.code .head {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	background-color: #BDBDFB;
	color: #0000cc;
	padding-left: 5px;
	padding-right: 5px;
	padding-top: 2px;
	padding-bottom: 2px;

}

div.code ol {
	list-style: none;
	color: #ff0000;
	padding-left: 0px;
	padding-right: 3px;
	padding-top: 0px;
	padding-bottom: 0px;
	margin-left: 5px; /* si li est à 0 */
	margin-right: 0px;
	margin-top: 2px;
	margin-bottom: 2px;
}

div.code ul {
	margin: 0px;
	padding: 0px;
	list-style: none;
}

div.code li  {

}

div.code .foot {
	display: none;
}

div.code .de1 {
	font-style: normal;
	font-family: Courier New, Courier, monospace;
	color: #ff0000;
	font-size: 12px;
}

div.code .imp {color: #a31515;}
div.code .kw1 {color: #0000ff;}
div.code .kw2 {color: #0000ff;}
div.code .kw3 {color: #0000ff;}
div.code .kw4 {color: #0000ff;}
div.code .co1 {color: #008000; font-style: italic;}
div.code .es0 {color: #0000ff;}
div.code .br0 {color: #000000;}
div.code .st0 {color: #a31515;}
div.code .nu0 {color: #000000;}
div.code .me1 {color: #008000;}
div.code .me2 {color: #008000;}
div.code .re0 {color: #0000ff;}


div.code .coMULTI {color: #838383; font-style: italic;}

div.code .re1 {color: #000000;}
div.code .re2 {color: #000000;}