the move to 14 from 12 font size might be a little ugly on linux

i havent checked windows yet, but the larger fonts seem cramped & harder to read, not to mention more horizontal scrolling

of course, anyone can use their own css to adjust, the issue stems from what the OS loads as ‘monospace’

also, was not expecting an update 4 years later