#nav {
	margin: 0;
	padding: 0;
	background: #0000FF;
	list-style-type: none;
	float: left;
	font-weight: bold;
}
#nav li {
	margin: 0;
	padding: 0;
	float: left;
	margin: 0 1px 0 0;
	display: inline;
	font: small/1.4 "Lucida Grande", Tamoha, sans-serif;
	font-weight: bold;
}
#nav a {
	float: left;
	padding: 0 6px;
	text-align: center;
	color: #FFF;
	text-decoration: none;
	line-height: 2.0; 
	border-right: 1px solid #FFF;
}
#nav #nav_con a {
	border: none;
}
#nav a:hover {
	background: #000099;
	color: #33FF99;
}
#nav li.current a {
	background: #000099;
	color: #33FF99;
	font-weight: bold;
}

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(214,214,228);
	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;
}
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;
	font-size: 85%;
	padding-left : 2em;
	border-left : solid;
	border-width: 1px;
	border-color : red;
}
p.bron {
	text-indent: 0em;
	font-size: 70%;
	padding-left : 3em;
	border-left : solid;
	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;
}
pre { 
	font-family: monospace; 
}
body {
	color : #000033;
	background : rgb(247,247,247);
	margin-left : 5%;
	margin-right : 5%;
	font-family : helvetica, verdana, sans-serif;
}