On 4/13/20 1:14 PM, Tom Lane wrote:
> "Jonathan S. Katz" <jkatz@postgresql.org> writes:
>> On 4/13/20 12:16 PM, Tom Lane wrote:
>>> I poked around in the website stylesheets and couldn't spot anything
>>> that seemed to be an intentional override of table alignment, so
>>> I'm wondering if this is an artifact of the margins-hacking that
>>> I do see there. Any ideas how to fix it?
>
>> Yeah, there appear to be two CSS rules overriding the valign="middle"
>> attribute that end up forcing it to the top. It shouldn't be too
>> difficult to fix -- I have a prototype of it working on my local. I can
>> test it against a nightly tarball and push up a fix.
>
> Cool, thanks!
The fix is now live:
https://www.postgresql.org/docs/devel/functions-enum.html
Back to opining on the other thread ;)
Thanks,
Jonathan