Re: [jgit-dev] Font sizes in gerrit

[Alex Blewitt <alex.blewitt@xxxxxxxxx>]

On 22 Feb 2010, at 06:12, Robin Rosenberg wrote:

The default font size in Gerrit is now so small, it is
quite uncomfortable to use it. Here is a screenshot
that illustrates the issue.

Not to denigrate your issue, but for me on Safari the code appears readable. The CSS suggests that font-size: 8pt; is set, though that overrides a font-size: small higher up the CSS chain.

1. font-family: 'Lucida Console', 'Lucida Sans Typewriter', Monaco, monospace;
2. font-size: 8pt;

What does that font size look like in a separate browser window? It may be that overriding the 'small' (which is user-customisable)

with a specific point size introduces the rendering effect that you see.

What's the browser? Presumably the OS is a Linux distro.

Alex