Better scaling of images in HTML output
authorPeter Eisentraut <peter@eisentraut.org>
Tue, 16 Apr 2019 12:27:56 +0000 (14:27 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Tue, 16 Apr 2019 12:27:56 +0000 (14:27 +0200)
commite446cde16d676b528f3aa91dcbe5bb9c5a3776d8
tree241ebce47b8ed03ea8db17bf927975c4ace3ea2f
parent5ed4b123b6a678bc6243047846870f7f46e9c67b
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
doc/src/sgml/stylesheet-html-common.xsl
doc/src/sgml/stylesheet.css