diff options
Diffstat (limited to 'DOCS/xml/default.css')
-rw-r--r-- | DOCS/xml/default.css | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/DOCS/xml/default.css b/DOCS/xml/default.css new file mode 100644 index 0000000000..cc30679712 --- /dev/null +++ b/DOCS/xml/default.css @@ -0,0 +1,83 @@ +body { + color: black; + background: white; + + font-family: Arial, Helvetica, sans-serif; +/* + * It's a Bad Idea(tm) to use fixed font sizes. + * Uncomment it if you _really_ want + */ + font-size: 14px; +} + +div.table table, div.informaltable table { + background: #333366; + border-collapse: separate; + border: solid 1px #333366; + border-spacing: 1px; +} + +div.table th, div.informaltable th { + color: white; + background: #4488cc; + border: 0px; + padding: 2px; +} + +div.table td, div.informaltable td { + background: #fffff8; + border: 0px; + padding: 2px; +} + + +pre.screen { + padding: 4px; + background: #e0e0e0; +} + +pre.programlisting { + padding: 4px; + background: #e0e8f0; +} + +/* +span.application { +} +*/ + +span.keycap { + background: #ddd; + border: solid 1px #aaa; + white-space: nowrap; + font-family: Arial, Helvetica, sans-serif; +} + +span.guimenu, span.guisubmenu, span.guimenuitem { + background: #dddddd; +} + +tt.filename { + color: maroon; + white-space: nowrap; +} + +tt.option { + color: #066; + white-space: nowrap; +} + +div.example { + padding-left: 0.5em; + border-left: solid 2px black; +} + +div.important .title, div.caution .title, div.warning .title { + color: #c00; +} +/* +div.important, div.warning, div.caution { + padding-left: 0.5em; + border-left: solid 2px maroon; +} +*/ |