body {
	color : #000033;
	background : rgb(247,247,247);
	margin-left : 5%;
	margin-right : 5%;
	font-family : helvetica, verdana, sans-serif;
}
h1 , h2 , h3 , h4 {
	color : #000066;
	margin-top : 1em;
	margin-bottom : 0.7em;
	font-family : times new roman, palatino, georgia, serif;
}
h5, h6  {
	color : teal;
	color : #000066;
	margin-top : 0.5em;
	margin-bottom : 0.3em;
	text-align : justify;
	font-family : times new roman, palatino, georgia, serif;
}
p {
	text-indent: 1em;
	color : #000033;
	text-align : justify;
	font-family : times new roman, palatino, georgia, serif;
	margin-top : 0.2em;
	margin-bottom : 0.2em;
}
p.changed {
	text-indent: 0em;
	color : #FF0000;
	font-size: 80%;
	padding-left : 2em;
	border-left : solid;
	border-width: 1px;
	border-color : red;
}
p.bron {
	text-indent: 0em;
	color : #626262;
	font-size: 70%;
	background : rgb(233,233,233);
	padding-left : 3em;
	border : thin none;
	border-width: 1px;
	border-color : green;
	margin-top : 0.6em;
}
p.dubb {
	text-indent: 0em;
	color : #AAAAAA;
	font-size: 40%;
	background : rgb(255,255,255);
	padding-left : 3em;
	border : thin none;
	border-width: 1px;
	border-color : green;
	margin-top : 0.6em;
}
p.lit {
	text-indent: -2em;
	padding-left : 2em;
	font-size: 100%;
	margin-top : 0.6em;
}
ol {
	font-size: 95%;
	padding-left : 2em;
	margin-top : 0.0em;
	margin-bottom : 0.0em;
	font-family : times new roman, palatino, georgia, serif;
	text-align : justify;
}
ul {
	font-size: 95%;
	padding-left : 2em;
	margin-top : 0.0em;
	margin-bottom : 0.0em;
	font-family : times new roman, palatino, georgia, serif;
	text-align : justify;
}
ol.a {
	font-size: 95%;
	list-style-type : lower-alpha;
	font-family : times new roman, palatino, georgia, serif;
	text-align : justify;
}
div.d {
	font-size: 95%;
	color : #000033;
	padding-left : 4em;
	padding-right : 1em;
	padding-top : 0.2em;
	padding-bottom : 0.0em;
	margin-top : 0.5em;
	margin-bottom : 0.7em;
	text-align : justify;
	font-family : times new roman, palatino, georgia, serif;
}
div.e {
	font-size: 90%;
	color : #000033;
	padding-left : 5em;
	padding-right : 5em;
	padding-top : 0.2em;
	padding-bottom : 0.4em;
	margin-top : 0.5em;
	margin-bottom : 0.7em;
	text-align : justify;
	font-family : helvetica, verdana, sans-serif;
}
div.f {
	font-size: 95%;
	color : #000033;
	padding-left : 1em;
	padding-right : 5em;
	padding-top : 0.0em;
	padding-bottom : 0.2em;
	margin-top : 0.5em;
	margin-bottom : 0.7em;
	text-align : justify;
	font-family : helvetica, verdana, sans-serif;
}
div.color {
	font-size: 90%;
	color : #000033;
	background : rgb(224,224,238);
	padding-left : 1em;
	padding-right : 1em;
	padding-top : 0.5em;
	padding-bottom : 0.3em;
	margin-top : 0.5em;
	margin-bottom : 0.7em;
	border : thin none;
	text-align : justify;
	font-family : times new roman, palatino, georgia, serif;
}
div.colorex {
	font-size: 100%;
	color : #003333;
	background : rgb(250,250,250);
	padding-left : 0.0em;
	padding-right : 0.0em;
	padding-top : 0.0em;
	padding-bottom : 0.0em;
	margin-top : 0.2em;
	margin-bottom : 0.2em;
	border : thin none;
	text-align : justify;
	font-family : times new roman, palatino, georgia, serif;
}
div.ex {
	font-size: 90%;
	color : #330033;
	background : rgb(238,238,238);
	padding-left : 1em;
	padding-right : 1em;
	padding-top : 0.6em;
	padding-bottom : 0.6em;
	margin-top : 1em;
	margin-bottom : 1em;
	margin-left : 3em;
	margin-right : 2em;
	text-align : justify;
	border-style: ridge;
	border-width: thin;
	border-color : white;
	border-left : solid;
	border-color : green;
	font-family : helvetica, verdana, sans-serif;
}
pre { 
	font-family: monospace; 
}