moved output to './html/'

renamed template
improved 'development' page

html/gfx/main.css

@@ -0,0 +1,223 @@
+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;
+	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%; 
+}
+
+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;
+}
+