From f6f9f8a24cdf1bc8a714c65dc45fd67fef59217a Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 12 Apr 2017 15:37:03 -0400 Subject: [PATCH] doc: Tweak CSS Tweak CSS a bit to match latest similar changes to web site style. Also move some CSS out of the HTML to the stylesheet so that the web site stylesheet can override it. This should ensure that notes and such are back to being centered. --- doc/src/sgml/stylesheet.css | 18 ++++++++++++++++++ doc/src/sgml/stylesheet.xsl | 1 + 2 files changed, 19 insertions(+) diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index f845876d07..c355fbecac 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -25,6 +25,11 @@ h2 { font-size: 1.2em; margin: 1.2em 0em 1.2em 0em; font-weight: bold; + color: #666; +} + +.titlepage h2.title, +.refnamediv h2 { color: #EC5800; } @@ -71,6 +76,19 @@ div.example { margin: 0.5ex; } +/* Put these here instead of inside the HTML (see unsetting of + admon.style in XSL) so that the web site stylesheet can set its own + style. */ + +.tip, +.note, +.important, +.caution, +.warning { + margin-left: 0.5in; + margin-right: 0.5in; +} + /* miscellaneous */ pre.literallayout, .screen, .synopsis, .programlisting { diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index c9fb7b225c..c948c612ac 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -16,6 +16,7 @@ + -- 2.40.0