Alvaro Herrera <alvherre@2ndquadrant.com> writes:
> ... 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.
Huh, browser specific maybe? The font doesn't seem any smaller to me,
using Safari.
> Anyway, it seems <computeroutput> or whatever tag has been used in some
> of these new tables makes the font be larger. Another screenshot is
> attached to show this. Is this likewise desired? It also shows that
> the main text body is sized similar to the <computeroutput> tagged text,
> not the table contents text. (The browser is Brave, a Chromium
> derivative.)
I'm not getting that, either; to me it looks as attached. I agree
what you're seeing is not as-intended.
regards, tom lane