[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [jgit-dev] Font sizes in gerrit
|
måndagen den 22 februari 2010 10.40.06 skrev Alex Blewitt:
> 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.
It's not as easy to do in ff as in Konqueror/Safari and that probably messes
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.
> What's the browser? Presumably the OS is a Linux distro.
> Alex
>
Konqueror (whose engine Safari is originally based on) did not work well. And
Lynx is not GWT capable, I think.
-- robin
