diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2020-04-18 15:36:43 -0400 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2020-04-18 15:36:43 -0400 |
commit | 00f4aba46d537452da41e6d398f8f4c915de586d (patch) | |
tree | 31433253dffc39f86a92efea2dda1c4c7147393c /doc/src | |
parent | f332241a60aa9c0945d74642cb3dbcbc11621154 (diff) | |
download | postgresql-00f4aba46d537452da41e6d398f8f4c915de586d.tar.gz postgresql-00f4aba46d537452da41e6d398f8f4c915de586d.zip |
Doc: sync functableentry markup choices with website style.
Jonathan Katz felt that slightly different indentation settings made
for a better-looking result, so sync stylesheet-fo.xsl (for PDF) and
stylesheet.css (for non-website-style HTML) with those choices.
Discussion: https://postgr.es/m/31464.1587156281@sss.pgh.pa.us
Diffstat (limited to 'doc/src')
-rw-r--r-- | doc/src/sgml/stylesheet-fo.xsl | 4 | ||||
-rw-r--r-- | doc/src/sgml/stylesheet.css | 11 |
2 files changed, 5 insertions, 10 deletions
diff --git a/doc/src/sgml/stylesheet-fo.xsl b/doc/src/sgml/stylesheet-fo.xsl index 6fce0be8b75..6797e06a77c 100644 --- a/doc/src/sgml/stylesheet-fo.xsl +++ b/doc/src/sgml/stylesheet-fo.xsl @@ -82,8 +82,8 @@ <!-- indent all but first line of entries in tables of functions --> <xsl:choose> <xsl:when test="self::entry[@role='functableentry']"> - <xsl:attribute name="margin-left">5em</xsl:attribute> - <xsl:attribute name="text-indent">-5em</xsl:attribute> + <xsl:attribute name="margin-left">4em</xsl:attribute> + <xsl:attribute name="text-indent">-3.5em</xsl:attribute> <xsl:attribute name="text-align">left</xsl:attribute> </xsl:when> </xsl:choose> diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index 795188153f5..f369e12a3c8 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -78,15 +78,10 @@ div.example { /* formatting for entries in tables of functions: indent all but first line */ -th.functableentry { - padding-left: 5em; - text-indent: -5em; - text-align: left; -} - +th.functableentry, td.functableentry { - padding-left: 5em; - text-indent: -5em; + padding-left: 4em; + text-indent: -3.5em; text-align: left; } |