/* $Id: std.css,v 1.8 2006/01/16 15:17:04 richard Exp $ */ html { /* When rendering as XML rather than HTML, the * element actually gets rendered, so we need to put * the background colour here otherwise get a white * border around the element. */ background: #ffffe8; } body { background: #ffffe8; padding: 0.7em; } h1 { font-family: sans-serif; text-align: left; font-weight: normal; font-size: larger; background: #aaddff; border: thin solid blue; padding: 0.75em 0.5em; } h2 { font-family: sans-serif; text-align: left; font-weight: normal; font-size: larger; } h3, th { font-family: sans-serif; text-align: left; font-weight: bold; font-size: smaller; padding-top: 0.3em; } .diagram, .composition, .panel, .code { background: #eeeeee; padding: 1em; border: thin solid blue; } .comptitle { font-size: larger; } p { #text-align: justify; } a:link { color: blue; } a:visited { color: blue; } .copyright, .note, .notes { font-size: smaller; } .caption { position: relative; margin-left: 1em; top: -0.5em; font-size: smaller; /* font-style: italic; */ } q:before { /* Unicode {LEFT DOUBLE QUOTATION MARK} */ content: "\201C"; } q:after { /* Unicode {RIGHT DOUBLE QUOTATION MARK} */ content: "\201D"; } q.continued:after { /* Unicode {RIGHT DOUBLE QUOTATION MARK} */ content: ""; } a.note[href] { font-size: 0.8em; vertical-align: super; text-decoration: none; } a.note:hover[href] { text-decoration: underline; } caption { padding-top: 0.3em; font-style: italic; /* caption-side: bottom; */ } /* TODO: Move this to a more appropriate place */ table.colgrid, table.headergrid { border-collapse: collapse; background: #eeeeee; } table.colgrid td, table.colgrid th, table.headergrid td, table.headergrid th { border-collapse: collapse; padding: 0.2em 0.4em; } table.colgrid td { border-left: thin solid black; border-right: thin solid black; } div.box, table.colgrid, table.headergrid { border: thin solid black; } table.colgrid th, table.headergrid th { border: thin solid black; } table.mono td { font-family: monospace; } table.pre, table.pre td, table.pre tr { padding: 0em; } .hilightA { background: #aaddff; } .hilightAp { background: #aabbff; } .hilightB { background: #ddff88; } .hilightBp { background: #aadd66; } .hilightC { background: #ffbbee; } .hilightCp { background: #ff99bb; } .hilightD { background: #bbffee; } .coloured { color: #ff0000; }