blob: 06f4fc0459f2f88c4667e70edb3a9640c241c2c5 (
plain) (
tree)
|
|
/* -------- Global things --------- */
BODY {
background-color: #ffffff;
color: #000000;
font-family: sans-serif;
}
A:link { color: #0000e0; text-decoration: none }
A:visited { color: #0000a0; text-decoration: none }
A:hover { background-color: #e0e0ff; text-decoration: none }
TABLE.vanilla {
width: 100%;
border-width: 0px;
background-color: #ffe0e0;
/* I can't seem to specify cellspacing or cellpadding properly using CSS... */
}
TD {
border-width: 0px;
}
TABLE.narrow {
border-width: 0px;
}
/* --------- Documentation elements ---------- */
TD.children {
padding-left: 25px;
}
TD.synopsis {
padding: 2px;
background-color: #f0f0f0;
font-family: monospace
}
TD.decl {
padding: 2px;
background-color: #f0f0f0;
font-family: monospace;
white-space: nowrap;
vertical-align: top;
}
TD.recfield { padding-left: 20px }
TD.doc {
padding-top: 2px;
padding-left: 10px;
background-color: #e0ffe0;
}
TD.ndoc {
padding: 2px;
background-color: #e0ffe0;
}
TD.rdoc {
padding: 2px;
padding-left: 10px;
background-color: #e0ffe0;
width: 100%;
}
TD.body {
padding-left: 10px
}
/* ------- Section Headings ------- */
TD.section1 {
padding-top: 15px;
font-weight: bold;
font-size: 150%
}
TD.section2 {
padding-top: 10px;
font-weight: bold;
font-size: 130%
}
TD.section3 {
padding-top: 5px;
font-weight: bold;
font-size: 110%
}
TD.section4 {
font-weight: bold;
font-size: 100%
}
/* -------------- The title bar at the top of the page */
TD.infohead {
color: #ffffff;
font-weight: bold;
padding-right: 10px;
text-align: left;
}
TD.infoval {
color: #ffffff;
padding-right: 10px;
text-align: left;
}
TD.topbar {
background-color: #000099;
padding: 5px;
}
TD.title {
color: #ffffff;
padding-left: 10px;
width: 100%
}
TD.topbut {
padding-left: 5px;
padding-right: 5px;
border-left-width: 1px;
border-left-color: #ffffff;
border-left-style: solid;
white-space: nowrap;
}
TD.topbut A:link {
color: #ffffff
}
TD.topbut A:visited {
color: #ffff00
}
TD.topbut A:hover {
background-color: #6060ff;
}
TD.topbut:hover {
background-color: #6060ff
}
TD.modulebar {
background-color: #0077dd;
padding: 5px;
border-top-width: 1px;
border-top-color: #ffffff;
border-top-style: solid;
}
/* --------- The page footer --------- */
TD.botbar {
background-color: #000099;
color: #ffffff;
padding: 5px
}
TD.botbar A:link {
color: #ffffff;
text-decoration: underline
}
TD.botbar A:visited {
color: #ffff00
}
TD.botbar A:hover {
background-color: #6060ff
}
|