/*
	CSS pour les documents
*/

.interviewer {
	color: lime;
	font-style: italic;
}

.interviewed {
	color: yellow;
	font-style: italic;
}

.subtitle {
	font-style: italic;
	margin-bottom: 20px;
	font-size: x-small;
}

/* Editeur de code */

.codebox {
	color: black;
	margin-top: 10px;
	margin-bottom: 10px;
	border: 3px double darkblue;
	background-color: white;
	padding: 5px;
	font-family: "Courier New", "Lucida Console", Courier, sans-serif;
}

.inc {
	color: green;
}

.kw {
	color: blue;
	font-weight: bold;
}

.nb {
	color: red;
}

.str {
	color: purple;
}

.comment {
	color: green;
	font-style: italic;
}