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 0 5px 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; } div.centercontent p { padding: 0.1em 1.8em 0.5em 0.8em; } div.centercontent ul { padding: 0.1em 1.8em 0.1em 2.8em; } 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.1em 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.5em 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; }