On 2020-May-06, Alvaro Herrera wrote:
> ... oh, okay. I guess I was reporting that the font on the new version
> seems to have got smaller. Looking at other pages, it appears that the
> font is indeed a lot smaller in all tables, including those Tom has been
> editing. So maybe this is desirable for some reason. I'll have to keep
> my magnifying glass handy, I suppose.
I happened to notice that the font used in the tables get smaller if you
make the browser window narrower. So what was happening is that I was
using a window that didn't cover the entire screen.
If I let the window use my whole screen, the font in the table is the
same size than the text outside the table; if I reduce to ~1239 pixels,
the font becomes somewhat smaller; if I further reduce to ~953 pixels,
it gets really small. Meanwhile, the non-table text keeps the same size
the whole time. (The pixel sizes at which changes occur seem to vary
with the zoom percentage I use, but the behavior is always there.)
Is this something that CSS does somehow? Is this something you expected?
Happens with both Brave (a Chromium derivate) and Firefox.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services