From a7e584a7d68a9a2bcc7efaf442262771f9044248 Mon Sep 17 00:00:00 2001 From: Alvaro Herrera Date: Thu, 9 Mar 2023 19:47:19 +0100 Subject: [PATCH] HTML docs: Add padding to table.simplelist for more readable output This couples with a to-be-pushed pgweb patch to synchronize the other stylesheet under which these docs are rendered on the website. Author: Karl Pinc Discussion: https://postgr.es/m/20230122144246.0ff87372@slate.karlpinc.com --- doc/src/sgml/stylesheet.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index 6410a47958..cc14efa1ca 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -76,6 +76,12 @@ div.example { margin: 0.5ex; } +/* Additional formatting for "simplelist" structures */ +table.simplelist td { + padding-left: 2em; + padding-right: 2em; +} + /* formatting for entries in tables of functions: indent all but first line */ th.func_table_entry p,