body {
	margin: 0;
	padding: 0;
	font-family: Verdana, Arial, sans-serif;
	font-size: 80%;
	color: #545454;
	background-color: #fff;
}

p {
	margin: 0.1em 0 0.1em 0;
}

h1 {
	margin: 0;
	padding: 0;
	font-size: 200%;
	font-weight: normal;
	color: #4169E1;
}

h2 {
	margin: 0;
	padding: 0;
	background-color: #8bbf75;
	color: White;
	font-size: 100%;
	font-weight: normal;
	text-align: left;
	/* RFC: there is a font-weight above - which is valid? */
	font-weight: 800;
}

div {
	margin: 0; 
	padding: 0; 
	display: block;
}

tt {
	padding: 0.1em 0.6em 0.1em 0.6em;
	font-size: 120%;
	background: #fffad0;
}

b {
	font-size: 95%;
}

div.container {
	background-color: #FFF; 
	margin: 0 auto 0 auto; 
	padding: 0; 
	width: 740px;
}

div.container a:link, div.container a:visited {
	color: #366b30;
}

div.navbar a {
	text-decoration: none;
}

div.container a:hover, div.container a:active {
	color: #ff8a00;
}

div#header {
	padding: 2em; 
	margin: 0; 
	background-image: url(header.jpg); 
	background-repeat: no-repeat; 
	background-position: center;
	height: 78px;
}

div.centercontent {
	padding: 0.3em 1ex 0.3em 1ex;
	margin: 5px 5px 9px 5px; 
	border: 1px solid #e0e0e0; 
}

div.centercontent h2 {
	padding: 0.1em 0 0.1em 0.5em;
}

ul {
	margin-top: 0;
	margin-bottom: 5px;
	margin-left: 0;
	padding-left: 2em;
}

div.navbar {
	display: block;
	font-weight: bold;
	margin: 5px 0 5px 0; 
	padding: 10px 0 10px 0; 
	border-top: 1px solid #C4C4C4;
	border-bottom: 1px solid #C4C4C4;
	text-align:center;
}

div.left {
	float: left; 
	width: 30%; 
	margin: 0 0 0 5px; 
	padding: 0;
	text-align: center;
}

div.left h2 {
	text-align: left;
	color: #366b30;
	background-color: #eeeeec;
	padding: 0 0 0 0.5em;
	margin-bottom: 0.3em;
}

div.leftcontent {
	margin: 0.2em 0.4em 0.5em 0; 
	padding: 0.3em; 
	text-align: left;
	border: 1px solid #e0e0e0; 
}

div.leftcontent p {
	padding: 0 0 0.5em 0.5em;
}

div.content {
	margin: 5px 5px 15px 31.5%; 
}

div.onecolumn {
	margin: 5px 5px 9px 5px; 
}

div.content, div.onecolumn {
	padding: 0.3em 1ex 0.3em 1ex;
	border: 1px solid #e0e0e0; 
}

div.content h2, div.onecolumn h2 {
	/* these are 2 pixels higher then those on the left side */
	/* RFC: what does that mean? Do we want this difference or not? [l] */
	padding: 0.1em 0 0.1em 0.5em;
	margin: 0.1em 0 0.1em 0;
}

div.content p, div.onecolumn p {
	padding: 0.1em 0.8em 0.1em 0.8em;
}

div.onecolumn p {
	margin-top: 10px;
	margin-bottom: 25px;
	text-align: center;
}

.date {
	text-align: right;
	font-style: italic;
	font-size: 0.8em;
}

div.footer {
	margin: 20px 0 5px 0; 
	padding: 5px 0 5px 0; 
	border-top: 1px solid #C4C4C4;
	border-bottom: 1px solid #C4C4C4;
	font-size: 80%; 
	text-align: center; 
	clear: both;
}


/* FAQ headers */
div.faq h3 {
	margin: 0.5em;
	font-size: 0.9em;
	color: #8bbf75;
}


/* table of content for FAQ */
ol.toc {
	padding-left: 2em;
}

ol.toc li {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

ol.toc a {
	text-decoration: none;
} 

/* recent changes (rss feed) */
ul.recent_changes {
	padding-left: 0;
	list-style-type: none;
}

ul.recent_changes li {
}

ul.recent_changes li h3 {
	font-size: 0.9em;
	margin: 2px;
	text-decoration: none;
}

ul.recent_changes li h3 a {
	text-decoration: none;
}

ul.recent_changes li p.date {
	padding: 2px 2px 0 2px;
	font-size: 0.8em;
}