From: | Jelte Fennema-Nio <me(at)jeltef(dot)nl> |
---|---|
To: | John Naylor <johncnaylorls(at)gmail(dot)com> |
Cc: | PostgreSQL-development <pgsql-hackers(at)postgresql(dot)org> |
Subject: | Re: New commitfest app release on August 19th |
Date: | 2025-08-19 09:15:06 |
Message-ID: | CAGECzQRkBV5=8W+Cq-HFmovfBv6iE4aioh46NBX-i9mNpPZAAw@mail.gmail.com |
Views: | Whole Thread | Raw Message | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
On Tue, 19 Aug 2025 at 09:31, John Naylor <johncnaylorls(at)gmail(dot)com> wrote:
> I found the font difficult to read, like it's not rendering smoothly
> on my system. While the text looked smaller, I had to zoom out to 75%
> in my browser to get the whole table to fit on screen -- anyone else?
> (I didn't see font in the list of changes...)
That's a difference between Bootstrap 3 and Bootstrap 5 I guess.
Before font-family was set to this:
"Helvetica Neue", Helvetica, Arial, sans-serif
Now it's set to this much longer fallback string:
system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto
Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji",
"Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"
Can you check what font is actually being used on your system like this[1]?
From | Date | Subject | |
---|---|---|---|
Next Message | John Naylor | 2025-08-19 09:30:02 | Re: New commitfest app release on August 19th |
Previous Message | Kirill Reshke | 2025-08-19 09:14:00 | Re: VM corruption on standby |