BODY {
margin-left: 8pt;
margin-top: 8pt;
margin-bottom: 8pt;
margin-right: 8pt;
font-family: Helvetica, Verdana, sans-serif;
font-size: 90%;
}

h1 {
	text-align: center;
}

body {
        color: black;
        background: rgb(201,188,227);
        padding: 0;
        margin-left: 0;
}
				
div.content {
        color: black;
        background: rgb(255,255,255);
        padding: 0;
        margin-left: 0;
	text-align: justify;
}

div.main {
        border: 1px dashed black;
        margin-right: 5em;
	margin-left: 5em;
        margin-bottom: 2em;
        padding: 0 .5em .5em;
	color:black;
        background: rgb(255,255,255);
        font-size: 90%;
}

pre {
	border: 1px dotted black;
	color: black;
	background: rgb(200,200,200);
	padding: 0 0 0 0;
	margin-left: 3em;
	margin-right: 3em;
	margin-top: 0;
	margin-bottom:0;
	text-align: left;
	font-family: monospace;
	white-space: pre;
}

p.footnote {
	font-size: 70%;
	text-align: right;
}