From e2647f228f7cb4b553e858b61a0e86f7740b627e Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 4 Apr 2019 13:13:30 +0200 Subject: [PATCH] Better scaling of images in HTML output --- doc/src/sgml/stylesheet-html-common.xsl | 3 ++- doc/src/sgml/stylesheet.css | 6 ++++++ 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..f89f399129 100644 --- a/doc/src/sgml/stylesheet-html-common.xsl +++ b/doc/src/sgml/stylesheet-html-common.xsl @@ -13,8 +13,9 @@ +0 - + pgsql-docs@lists.postgresql.org 2 diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index c355fbecac..8518839bac 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -102,3 +102,9 @@ var { font-family: monospace; font-style: italic; } acronym { font-style: inherit; } .option { white-space: nowrap; } + +@media (min-width: 800px) { + .mediaobject { + width: 75%; + } +} -- 2.21.0