"Jonathan S. Katz" <jkatz@postgresql.org> writes:
> On 4/18/20 3:34 PM, Tom Lane wrote:
>> Also, now that I look at it, I see the website style seems to be rendering
>> parents and brackets in the same font as the <code> items anyway. This
>> does not seem like an improvement over what happens without that.
> So, it seems like it's the same font, but it's a trompe-l'oeil: it is
> the default font of the site (Open Sans). However, it appears the
> old-style docs use a different browser/OS dependent font in "verdana".
> When I force it to verdana, we get the attached (enum_first has verdana,
> enum_list has Open Sans). This seems to get the desired effect on the
> function definition line, but it sets the descriptions to be verdana,
> which seems to clash with the rest of the site.
Hm. Let's just leave that alone for now. I agree that rendering these
in a subtly different font would be a bit weird.
Did you determine whether we're actually forcing a smaller font in
these tables?
regards, tom lane