pgsql: Better scaling of images in HTML output

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

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/e446cde16d676b528f3aa91dcbe5bb9c5a3776d8

Modified Files
--------------
doc/src/sgml/stylesheet-html-common.xsl | 2 +-
doc/src/sgml/stylesheet.css             | 7 +++++++
2 files changed, 8 insertions(+), 1 deletion(-)