mirror of
https://github.com/postgres/postgres.git
synced 2025-06-04 00:02:37 -04:00
a7e584a7d6
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