HTML docs: Add padding to table.simplelist for more readable output
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Thu, 9 Mar 2023 18:47:19 +0000 (19:47 +0100)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Thu, 9 Mar 2023 18:47:19 +0000 (19:47 +0100)
commita7e584a7d68a9a2bcc7efaf442262771f9044248
tree0f2a61aa0982ac15328ee19913cf53a72cf1a476
parent206b44bb24b3785bf6360361b757c1dae77ab0bb
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 <kop@karlpinc.com>
Discussion: https://postgr.es/m/20230122144246.0ff87372@slate.karlpinc.com
doc/src/sgml/stylesheet.css