diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-04-16 14:27:56 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-04-16 14:27:56 +0200 |
| commit | e446cde16d676b528f3aa91dcbe5bb9c5a3776d8 (patch) | |
| tree | 241ebce47b8ed03ea8db17bf927975c4ace3ea2f | |
| parent | 5ed4b123b6a678bc6243047846870f7f46e9c67b (diff) | |
| download | postgresql-e446cde16d676b528f3aa91dcbe5bb9c5a3776d8.tar.gz postgresql-e446cde16d676b528f3aa91dcbe5bb9c5a3776d8.zip | |
Better scaling of images in HTML output
Turn on the previously disabled automatic scaling of images in HTML
output. To avoid images looking too large on nowadays-normal screens,
restrict the width to 75% on such screens.
Some work is still necessary because SVG images without a viewBox
still won't scale, but that will a separate patch.
Discussion: https://www.postgresql.org/message-id/flat/6d2442d1-84a2-36ef-e014-b6d1ece8a139%40postgresql.org
| -rw-r--r-- | doc/src/sgml/stylesheet-html-common.xsl | 2 | ||||
| -rw-r--r-- | doc/src/sgml/stylesheet.css | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/doc/src/sgml/stylesheet-html-common.xsl b/doc/src/sgml/stylesheet-html-common.xsl index b105005235d..9edce52a104 100644 --- a/doc/src/sgml/stylesheet-html-common.xsl +++ b/doc/src/sgml/stylesheet-html-common.xsl @@ -14,7 +14,7 @@ <!-- Parameters --> <xsl:param name="make.valid.html" select="1"></xsl:param> <xsl:param name="generate.id.attributes" select="1"></xsl:param> -<xsl:param name="ignore.image.scaling" select="1"/> +<xsl:param name="make.graphic.viewport" select="0"/> <xsl:param name="link.mailto.url">pgsql-docs@lists.postgresql.org</xsl:param> <xsl:param name="toc.max.depth">2</xsl:param> diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index c355fbecac7..1a66c789d50 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -102,3 +102,10 @@ var { font-family: monospace; font-style: italic; } acronym { font-style: inherit; } .option { white-space: nowrap; } + +/* make images not too wide on larger screens */ +@media (min-width: 800px) { + .mediaobject { + width: 75%; + } +} |