From 8f35ef82026fec8b5716c050eb7cf6bf0c15c724 Mon Sep 17 00:00:00 2001 From: Robert Sesek Date: Sun, 1 Oct 2006 00:33:13 +0000 Subject: [PATCH] r1213: More manual items --- locale/manual.css | 581 ---------------------------------------------- 1 file changed, 581 deletions(-) delete mode 100644 locale/manual.css diff --git a/locale/manual.css b/locale/manual.css deleted file mode 100644 index e134a44..0000000 --- a/locale/manual.css +++ /dev/null @@ -1,581 +0,0 @@ -/* 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; -} - - -/* 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; -} - - -/* 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; -} - - -/* images */ -/* docbook: */ -img -{ - /* no margin */ - margin: 0; - - /* no padding ("inner margin") */ - padding: 0; - - /* no border */ - border: 0; -} - - -/* emphasized text, can occur in most places */ -/* docbook: */ -em -{ - /* bold face, higher number is more bold */ - font-weight: 600; - /* italic */ - font-style: italic; -} - - -/* sect(ion)1 title */ -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: 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; -} - - -/* 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; -} - -/* 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; -} - - -/* 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; -} - - - - - -/* 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; -} - - -/* 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; -} - - -/* */ -.calloutlist, .figure, .table -{ - /* margin settings are top - right - bottom - left (think clockwise) */ - margin: 15px 30px 15px 30px; -} - - -/* */ -.itemizedlist, .variablelist { - /* margin settings are top - right - bottom - left (think clockwise) */ - margin: 15px 30px 15px 15px; -} - -/* 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; - - /* 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.22.5