diff --git a/doc/libs/common/doc/src/boostbook.css b/doc/libs/common/doc/src/boostbook.css index 42e8996d..2e15c011 100644 --- a/doc/libs/common/doc/src/boostbook.css +++ b/doc/libs/common/doc/src/boostbook.css @@ -205,7 +205,7 @@ Table of contents =============================================================================*/ - .toc + div.toc { margin: 1pc 4% 0pc 4%; padding: 0.1pc 1pc 0.1pc 1pc; @@ -466,7 +466,7 @@ } /* Table of contents */ - .toc + div.toc { border: 1px solid #DCDCDC; } @@ -534,7 +534,7 @@ } /* Table of contents */ - .toc + div.toc { border: 1px solid gray; } @@ -609,3 +609,38 @@ sub { top: .5ex; } +/*============================================================================== + Indexes: pretty much the same as the TOC. +==============================================================================*/ + + .index + { + font-size: 80%; + padding-top: 0px; + padding-bottom: 0px; + margin-top: 0px; + margin-bottom: 0px; + margin-left: 0px; + } + + .index ul + { + padding-left: 3em; + } + + .index p + { + padding: 2px; + margin: 2px; + } + + .index-entry-level-0 + { + font-weight: bold; + } + + .index em + { + font-weight: bold; + } + diff --git a/doc/libs/common/doc/src/docutils.css b/doc/libs/common/doc/src/docutils.css index 620cf861..cb970853 100644 --- a/doc/libs/common/doc/src/docutils.css +++ b/doc/libs/common/doc/src/docutils.css @@ -1,8 +1,8 @@ /* :Author: David Goodger :Contact: goodger@python.org -:Date: $Date$ -:Revision: $Revision$ +:Date: $Date: 2007-11-25 19:34:32 +0000 (Sun, 25 Nov 2007) $ +:Revision: $Revision: 41371 $ :Copyright: This stylesheet has been placed in the public domain. Default cascading style sheet for the HTML output of Docutils. diff --git a/doc/libs/common/doc/src/minimal.css b/doc/libs/common/doc/src/minimal.css index 2e5812a9..401b73e5 100644 --- a/doc/libs/common/doc/src/minimal.css +++ b/doc/libs/common/doc/src/minimal.css @@ -19,11 +19,4 @@ body { font-family: sans-serif; margin: 1em; } table { margin: 0.5em; } -/******************************************************************************* - Font sizes -*******************************************************************************/ - -p, td, li, blockquote { font-size: 10pt; } -pre { font-size: 9pt; } - /*** end ***/ \ No newline at end of file