body {
    background: 	#FFFFFF;
    color:	 	black;
    margin-left:	30pt;
    margin-right:	30pt;
}


h1, h2, h3, h4 {
    margin-top: 	1em;
    font-family:	sans-serif;
    color:		#000077;
    background: 	transparent;
}

h1 {
    text-align:		center;
    border-top:		thick solid;
    border-bottom:	thick solid;
}
h2 {
    border-top:		thin solid;
    padding-top:	2pt;
}

pre {
    display: 		block;
    font-family:	monospace;
    white-space:	pre;
    margin:		0%;
    padding-top:	0.5ex;
    padding-bottom:	0.5ex;
    padding-left:	1ex;
    padding-right:	1ex;
    width:		100%;
    margin-top:		10px;
    margin-bottom:	10px;
}

pre.example {
    color: 		black;
    background: 	#eeeeee;
    border:		1px solid black;
}

pre.syntax {
    font-family:	sans-serif;
    color: 		black;
    background: 	#eeeeff;
    border:		1px solid black;
}

pre.listing {
    color: 		black;
    background: 	#eeeeee;
    border:		1px solid black;
}