body {
	font-family: Arial,sans-serif;
	margin-left: 8mm
}

h1 {
	margin-left: -8mm;
	color: #334d55
}

h2{
	margin-left: -8mm;
	color: #006699
}

pre {
	background-color: #f0f0ff;
	margin-left: +8mm;
	margin-right: 8mm;
}

ul{
	list-style-type: square
}

ul ul{
	list-style-type: disc
}

.filename {
	color: #007a00;
}

div .sect2 {
	float: right;
	width: 40%;
	margin-right: 8mm;
	background-color: #f0f0ff;
	border: 2px solid #006699;
}

.sect2 h3 {
	padding: 0.5em;
	margin:	0;
	color: #006699;
	border-bottom: 2px solid #006699;
}

li p {
	font-size: 0.8em;
}