p { 
	text-align: justify
}

pre.programlisting em {
	font-style: normal;
	font-weight: bold
}

div.toc p {
    color: #800000; 
    font-family: sans-serif
}

tt.literal {
	background: #F0F0F0;	/* comme pre.programlisting */
	border: 1px solid gray;	/* " */
	font-size: 10pt		/* " */
}

/* à corriger : div.table { text-align: center; } */