/* -------- 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; /* 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; } TD.ndoc { padding: 2px; } TD.rdoc { padding: 2px; padding-left: 10px; 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 }