|Re: [jgit-dev] Font sizes in gerrit|
måndagen den 22 februari 2010 10.40.06 skrev Alex Blewitt:
It's not as easy to do in ff as in Konqueror/Safari and that probably messes> 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.
> font-family: 'Lucida Console', 'Lucida Sans Typewriter', Monaco, monospace;
> 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.
with other sites. I guess Shawn is on Safari too and doesn't notice the tiny
font sizes because of the minimum font size setting in khtml.
Konqueror (whose engine Safari is originally based on) did not work well. And
> What's the browser? Presumably the OS is a Linux distro.
Lynx is not GWT capable, I think.
jgit-dev mailing list
Back to the top