/* whole site */
body {
	background: #F1FFF6;
	padding: 0px;
	margin: 0px;
}

.header {
	background: url(topgrad.jpg) repeat-x;
}

.navbar {
	background: url(leftgrad.jpg) repeat-x #12C46E;
	padding: 2px;
	padding-top: 2em;
	font-family: arial, sans-serif;
	font-size: 11pt;
	width: 150px;
	height: 100%;
}

.navbar a {
	display: block;
	color: blue;
	border: solid 1px black;
	padding: 2px;
	text-decoration: none;
	background: #C9F5DE;
	margin: 0px 3px 1px 2px;
}

.navbar a:visited {
	color: blue;
}

.navbar a:hover {
	color: black;
	background: #9BE9C2;
	border-right: 3px black solid;
}

.main {
	padding: 1em;
	font-family: arial, sans-serif;
	color: black;
	font-size: 11pt;
}

.main h1,h2,h3,h4,h5,h6 {
/* remove the border later :-) */
	border: solid black 1px;
	padding-left: 0.5ex;
	background: #D7F8E7 url(hicon.gif) no-repeat right;
}

.main a:hover {
	color: black;
	background: #D7F8E7;
}

.example {
	padding-left: 1em;
	color: #2f9b13;
}

/* most of .main is just a pre */
pre {
	font-family: arial, sans-serif;
	color: black;
	font-size: 11pt;
}

hr {
width: 80%;
color: #12C46E;
}