/* modified from css-discuss style */ body { background-color: #fff; color: #000; margin: 0; padding: 0; font-size: small; font-family: "Palatino Linotype", Georgia, "Times New Roman", Times, serif; } a:link { color: blue; background: transparent; } a:visited { color: navy; background: transparent; } a:active { color: #4B3E84; background: transparent; } a.title { text-decoration: none; } img { border: 0; } img.button { width: 88px; height: 31px; border: 0; } #header { top: 0; left: 0; height: 5em; padding: 0.2em 0em 0.2em 0.2em; border-left: 0.8em solid green; border-bottom: 1px solid black; color: #000; background-color: #fff; z-index: 3; } #header a { text-decoration: none; } #header a.title { color: #000; background-color: inherit; } #header hr { display: none; } #header div.form { color: #000; background-color: inherit; margin-top: 2px; } #header div.form input { font-size: 9px; margin-top: 2px; } #body { padding: 1em 3em 3em 3em; border-left: 0.8em solid #cfc; border-right: 0.8em solid #cfc; line-height: 180%; } div.logo { padding: 0.5em 0em; position: absolute; top: 1em; right: 1em; color: #000; width: 14em; text-align: right; vertical-align: center; } div.logo a { font: normal normal bold 2em monospace; font-weight: bold; color: black; background-color: inherit; } table { border: 1px #000000 solid; padding: 0px; } td { border: 1px #666666 solid; } table.diff { width: 95%; } td.diff-added { background-color: #cfffcf; color: #000000; } td.diff-removed { background-color: #ffffaf; color: #000000; } #body h1, #body h2, #body h3, #body h4, #body h5, #body h6 { position: relative; left: -20px; font-weight: normal; border-bottom: 1px solid #999; } h1, h2, h3, h4, h5 { margin: 0px; padding: 0px; } h1 { font-size: xx-large; } h2 { font-size: x-large; } h3 { font-size: large; } h4 { font-size: medium; } h5 { font-size: medium; } #header h1 { font-family: georgia, serif; margin-bottom: 0.1em; } textarea { width: 100%; } dl, ul, ol { margin-top: 0px; margin-bottom: 0px; } form { margin-top: 0px; } p.warning { color: #ff3f3f; background: transparent; } tt { background: transparent; color: #383838; } pre { background: transparent; font-size: small; color: #383838; } #footer hr { display: none; } #footer { padding: 0.5em 2em; border-top: 1px solid green; } img#hostedby { float: right; border: none; } div.fieldset { margin-right: 0.8em; } div.fieldset label { width: 200px; float: left; line-height: 23px; } div.fieldset div { margin-top: 5px; margin-bottom: 5px; } /* Following CSS handles code listings - see http://development.incutio.com/simon/numbered-code-experiment.html */ ol.codeListing { font-family: monospace; color: green; background-color: #fff; list-style-type: decimal-leading-zero; list-style-position: inside; width: 80%; margin-top: 15px; margin-bottom: 15px; } ol.codeListing li { background-color: #eee; color: inherit; margin: 2px; } ol.codeListing li code { color: black; background-color: inherit; white-space: pre; margin-left: 1em; font-size: small; } /* Hack to get Konqueror 3.0 to display blank lines without crunching them up, courtesy of Jim Dabell. Alternatively use