On Wed, Aug 20, 2025 at 10:36 AM John Naylor <johncnaylorls@gmail.com> wrote:
>
> On Wed, Aug 20, 2025 at 12:31 AM Jelte Fennema-Nio <me@jeltef.nl> wrote:
> > I deployed a change now where the font-size is changed back to 14px
> > again, and I removed "system-ui" font from the font list. I hope that
> > solves the difficult to read fonts and larger tables issues. Feedback
> > welcome, since this is definitely a thing that difference based on the
> > machine/screen/OS.
>
> The font is much better, thanks!
>
> The table still only fits at 80%, but I think even that would be
> tolerable if ID were put at the end of the row. I've never needed the
> ID by itself, and if I did I could mouse-over the patch link.
I just noticed something interesting:
https://commitfest.postgresql.org/57/
is still too small per my complaint above, but
https://commitfest.postgresql.org/58/
looks just fine at 100% browser zoom. It looks like the biggest
(only?) difference is the width of the "Patch column".
--
John Naylor
Amazon Web Services
