From e446cde16d676b528f3aa91dcbe5bb9c5a3776d8 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Tue, 16 Apr 2019 14:27:56 +0200 Subject: [PATCH] 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 | 2 +- doc/src/sgml/stylesheet.css | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/src/sgml/stylesheet-html-common.xsl b/doc/src/sgml/stylesheet-html-common.xsl index b105005235..9edce52a10 100644 --- a/doc/src/sgml/stylesheet-html-common.xsl +++ b/doc/src/sgml/stylesheet-html-common.xsl @@ -14,7 +14,7 @@ - + pgsql-docs@lists.postgresql.org 2 diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index c355fbecac..1a66c789d5 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%; + } +}