summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2017-04-12 19:37:03 +0000
committerPeter Eisentraut2017-04-12 19:41:41 +0000
commitf6f9f8a24cdf1bc8a714c65dc45fd67fef59217a (patch)
tree1cf24a13cf250b6a71435e2a464b0919a8ba22fd
parent854854019a282b6e74f586a3ee8c88c791193d32 (diff)
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.
-rw-r--r--doc/src/sgml/stylesheet.css18
-rw-r--r--doc/src/sgml/stylesheet.xsl1
2 files changed, 19 insertions, 0 deletions
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 @@
<xsl:param name="generate.legalnotice.link" select="1"></xsl:param>
<xsl:param name="chunk.first.sections" select="1"/>
<xsl:param name="chunk.quietly" select="1"></xsl:param>
+<xsl:param name="admon.style"></xsl:param> <!-- handled by CSS stylesheet -->
<xsl:param name="website.stylesheet" select="0"/>