230 lines
3.4 KiB
CSS
230 lines
3.4 KiB
CSS
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;
|
|
}
|
|
|