body {
	background: #FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	text-align: justify;
 font-size:16px;	
}

h1, h2, h3, h4, h5 { 
    color: #800000; 
    font-family: sans-serif; 
}
.maj{
	margin-top: 5px;
}
.minuscule{
 font-family:"Courier New", Courier, mono;
 font-size:10px;
}
.maj, h2{
	border-top: 1px solid #990000;
	border-bottom: 1px solid #990000;
}
span.term { 
    font-weight: bold; 
}

div.sidebar { 
    background: #F0F0F0; 
    border: 1px solid gray; 
    padding: 5px; 
    margin: 20px; 
}

pre.programlisting { 
    background: #F0F0F0; 
    border: 1px solid gray; 
    padding: 2px; 
    font-size: 10pt;
    white-space: pre;
}
.logo{
float:left;
margin-right: 20px;
margin-bottom: 20px;
}