div.title
{
	position: absolute;
}

div.content
{
	margin: 10px auto;
	top: auto;
	max-width: 700px;
	font-size: 10pt;
	font-family: sans-serif;
}

ul.sommaire li
{
	list-style-type: none;
}

pre
{
	white-space: pre;
	font-family: monospace;
	border: thin black solid;
	margin: auto 10pt;
	padding: 10pt 10pt;
}

.example
{
	background-color: #F0F0F0;
	padding: 10pt;
	border: thin black solid;
	margin-top: 5pt;
	margin-bottom: 5pt;
}