Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jgit-dev] Font sizes in gerrit

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-size8pt;

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.


Back to the top