From f600b5d8c8cb27b6318ce388b64ea253b4a9d7d8 Mon Sep 17 00:00:00 2001 From: Robert Sesek Date: Thu, 28 Sep 2006 02:33:34 +0000 Subject: [PATCH] r1200: A better-looking stylesheet --- locale/manual.css | 603 ++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 552 insertions(+), 51 deletions(-) diff --git a/locale/manual.css b/locale/manual.css index 1145cea..e134a44 100644 --- a/locale/manual.css +++ b/locale/manual.css @@ -1,80 +1,581 @@ -body { - font-family: Tahoma, Arial, sans-serif; +/* css 2.0 stylesheet for DocBook generated XHTML */ +/* (c) 2002 e-novative GmbH. */ +/* http://www.e-novative.de */ + +/* + 17-03-2003 - 21-03-2003 + Changes : Bruno.Vernay@LaPoste.net + - Replaced the title background with underline (better distinguish from + programlisting.) + - distinguish the h2 (from chapter) and the h2 from section + (div[class=section]) + +*/ + +/* Note that due to different browser interpretation of the standards, the */ +/* html pages still do not look exactly the same on every browser and system */ + +/* This css file formats the html generated by the eDE */ +/* Please modify this file according to your personal preferences. */ + +/* In many spots, this file is not too well-documented currently. However, */ +/* we will improve documentation over the time */ + +/* basic settings for the document body, some elements inherit from these */ +body +{ + /* foreground color = black */ + color: #000; + + /* background-color = white */ + background-color: #fff; + + /* center the body content in browser window */ + /* Note: this is different from text-align */ + /* margin depends on browser window width */ + margin: auto; + + /* padding ("inner margin") leaves space between */ + /* browser window border and html body content */ + padding: 24px; + + /* width depends on browser window width */ + width: auto; + + /* text-alignment */ + /* alternative: left */ + text-align: justify; } -h1, h2, h3, h4, h5 { - font-family: Arial, serif; + +/* set font for most elements */ +/* p: paragraphs (regular text, docbook ) */ +/* (...) */ +/* body: anything else */ +body, p, td, li, dt, dd, +{ + /* set font size and line height */ + /* list of fonts provides fallbacks if a font is not present */ + font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; } -h2 { - font-size: 1.3em; + +/* pararaphs (docbook: ) */ +p +{ + /* set font size and line height */ + /* list of fonts provides fallbacks if a font is not present */ + font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 0 15px 6px 15px; } -h3, h4, h5 { - font-size: 1em; - margin: 0.2em; + +/* images */ +/* docbook: */ +img +{ + /* no margin */ + margin: 0; + + /* no padding ("inner margin") */ + padding: 0; + + /* no border */ + border: 0; } -div.note, div.warning, div.tip { - margin-left: 0.3in; - margin-right: 0.5in; - border: solid 1px blue; - background-color: #e0e0e0; - padding: 0.1in; + +/* emphasized text, can occur in most places */ +/* docbook: */ +em +{ + /* bold face, higher number is more bold */ + font-weight: 600; + /* italic */ + font-style: italic; } -div.warning + +/* sect(ion)1 title */ +h2 { - border-color: red; + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 125%; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* underlined text */ + text-decoration: none; + + /* foreground color: dark blue */ + color: #009; + + /* background color: gray */ + /* background-color: #ddd; */ + border-bottom: solid 2px; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 0 15px 0; + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 12px 15px 12px 15px; } -div.note img, div.warning img, div.tip img { - margin-right: 0.1in; - border: solid 1px blue; + +/* modif BV 14-03-2003 : + permet de distinguer titre de chapitre et titre de section */ +/* section title après un chapitre */ +div[class=section] * h2 +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 110%; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* underlined text */ + text-decoration: none; + + /* foreground color: dark blue */ + color: #00A; + + /* background color: gray */ + /* background-color: #f0f0f0; */ + border-bottom: solid 1px; + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 0 0 0 15px; } -pre.programlisting { - border: solid 1px #444; - background-color: #e0e0e0; - padding: 0.1in; - margin: 0.2in; - clear: right; +/* sect(ion)2 title */ +h3 +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 110%; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* underlined text */ + text-decoration: underline; + + /* foreground color: dark blue */ + color: #009; + + /* background-color is a very light grey */ + /* alternative: #fff = white */ + /* background-color: #fafafa; */ + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 0 0 0 15px; } -pre.screen { - border: solid 1px #777; - background-color: #ddd; - padding: 0.1in; - margin: 0.2in; - clear: right; + +/* sect(ion)3 title */ +h4 +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 100%; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* underlined text */ + text-decoration: underline ; + + /* foreground color: dark blue */ + color: #009; + + /* background-color is a very light grey */ + /* alternative: #fff = white */ + /* background-color: #fefefe; */ + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 0 0 0 15px; +} + + +/* sect(ion)4 title */ +h5 +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 100%; + + /* bold face, higher number is more bold */ + font-weight: 300; + + /* not underlined */ + text-decoration: underline ; + + /* foreground color: dark blue */ + color: #009; + + /* background-color is a very light grey */ + /* alternative: #fff = white */ + /* background-color: #fefefe; */ + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 0 0 0 15px; } -div.variablelist dl dt span.term { - font-weight: bold; + + + + +/* define special font for e-novative logo */ +/* list of fonts provides fallbacks in case selected fonts are not present */ +.logo +{ + font-family: Lucida Console, Verdana, Arial, Sans-Serif; } -hr { display: none; } -div.navheader { - padding-bottom: 0.1in; - border-bottom: solid 1px black; - border-color: #aaa; +/* the following formats refer to the docbook tags of the same name */ +/* for more information, see the docbook reference at */ +/* http://www.docbook.org/tdg/en/html/docbook.html */ + +.mediaobject +{ + /* center */ + text-align: center; } -div.navfooter { - margin-top: 0.1in; - border-top: solid 1px black; - border-color: #aaa; - padding-top: 0.1in; + + +/* */ +.calloutlist, .figure, .table +{ + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 30px 15px 30px; } -div.figure-float { - float: right; - margin-left: 2em; - margin-bottom: 2em; + +/* */ +.itemizedlist, .variablelist { + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 30px 15px 15px; } -div.revinfo { +/* blockquote formatting is a little more complex */ +/* because block quotes are rendered as a html table */ + +/* blockquote block */ +.blockquote +{ + /* override bottom margin, the other margins are inherited */ + margin-bottom: 30px; +} + +.blockquote p, .blockquote td +{ + /* set font size and line height */ + /* list of fonts provides fallbacks if a font is not present */ + font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; + + /* bold face, higher number is more bold */ + font-weight: 450; +} + + +.epigraph +{ + /* override bottom margin, the other margins are inherited */ + margin-bottom: 30px; +} + +.epigraph p, .epigraph td +{ + /* set font size and line height */ + /* list of fonts provides fallbacks if a font is not present */ + font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif; + + /* bold face, higher number is more bold */ + font-weight: 600; +} + + + +/* custom e-novative header and footer that are displayed on all pages */ +#customheader, #customfooter +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 80%; + + /* line height, relative to body font size */ + line-height: 200%; + + + text-align: center; + vertical-align: middle; + color: #fff; + background-color: #009; +} + + +/* leave more space between last paragraph and footer */ +/* some browser do not add up the bottom margin of the prior element */ +/* and the top margin of the footer */ +#customfooter { + margin-top: 15px; +} + + + +/* table { margin: 0 15px 6px 15px; } */ + + +/* title and navigation links in header and footer */ +.navheader th, .navheader td, .navfooter th, .navfooter td +{ + font-size: 11px; + font-weight: 450; +} + + +/* table of contents, list of figures and list of tables */ +.toc, .list-of-figures, .list-of-tables +{ + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 30px 15px 15px; +} + + +/* the "headings" are rendered as paragraphs */ +.toc p, .list-of-figures p, .list-of-tables p +{ + /* no margin */ + margin: 0; +} + + +.figure +{ + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 5px 5px 5px 5px; + + /* no padding ("inner border") */ + padding: 0; + + /* no border */ + border: 0; + + /* center text */ + text-align: center; +} + + +/* figure title */ +.figure p, .table p, .example p +{ + font-size: 80%; +} + + +/* +acronym { + border-bottom: 1px dashed #00cc00; + cursor: help; +} +*/ + + +/* admonition headings */ +div.note, div.important, div.warning, div.caution, div.tip +{ + padding: 0px 15px 0px 0px; +} + +div.note th, div.important th, div.warning th, div.caution th, div.tip th +{ + /* set font size and line height */ + /* list of fonts provides fallbacks if a font is not present */ + font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; + + font-weight: 600; + + text-decoration: underline; + + /* left align */ + text-align: left; +} + +.note p, .important p, .warning p, .caution p, .tip p +{ + margin: 0; +} + +.note img, .important img, .warning img, .caution img, .tip img +{ + margin: 0px 15px 0px 15px; +} + + +/* programlisting */ +pre.programlisting +{ + /* non-proportional font */ + /* list of fonts provides fallbacks if a font is not present */ + font-family: "Courier New", Courier, Monospace; + + /* color: black */ + color: #000; + + /* background color: gray */ + background-color: #eee; + + /* no margin */ + margin: 0; + + /* gray dotted border, 1 px wide */ + border: 1px dotted #ddd; + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 6px 6px 6px 6px; +} + + +/* title page */ + + +/* heading1 is used for document title */ +h1 +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 150%; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* line height, relative to body line height */ + line-height: 250%; + + /* center */ + text-align: center; + + /* foreground color: dark blue */ + color: #009; + + /* background color: gray */ + background-color: #ddd; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 0 15px 0; + + /* no padding ("inner margin") */ + padding: 0; +} + + + +/* author on title page is formatted as h3 */ +/* these settings overwrite the regular h3 settings */ +h3.author +{ + /* set font size and line height */ + /* list of fonts provides fallbacks in case selected fonts are not present */ + font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif; + + /* bold face, higher number is more bold */ + font-weight: 600; + + /* do not underline */ + text-decoration: none; + + /* center text */ text-align: center; - font-size: 0.7em; - text-decoration: italic; + + /* color: black */ + color: #000; + + /* background-color is a very light grey */ + /* alternative: #fff = white */ + background-color: #fefefe; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 0 15px 15px 15px; + + /* no padding */ + padding: 0; + + /* no border */ + border: 0; } + + +/* copyright and date */ +.copyright, .pubdate +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 90%; + + /* center */ + text-align: center; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 15px 15px 15px 15px; + + /* no padding ("inner margin") */ + padding: 0; + + /* no border */ + border: 0; +} + + +/* legal notice box */ +div.legalnotice +{ + /* list of fonts provides fallbacks if a font is not present */ + font-family: Verdana, Arial, Helvetica, Sans-Serif; + + /* font size, relative to body font size */ + font-size: 90%; + + /* color: black */ + color: #000; + + /* background color: gray */ + background-color: #ddd; + + /* margin settings are top - right - bottom - left (think clockwise) */ + margin: 10px 45px 10px 45px; + + /* padding ("inner margin") settings are top - right - bottom - left */ + /* (think clockwise) */ + padding: 5px 5px 5px 5px; + + /* solid black border, 1px wide */ + border: 1px solid #000; +} \ No newline at end of file -- 2.43.5