Simplify fonts in css

[dju`]

there are many (redundant) font-family definitions in the css files. it makes hard to override styles in per-project templates, i.e. with a simple "body {font-family: Tahoma}".

[dju`]

i suggest not using px in font-size, as it breaks accessibility. the best is to use relative font-size, for example:

h1 { font-size: 1.9em }
h2 { font-size: 1.45em }
h3 { font-size: 1.2em }
h4 { font-size: 1em }
...

and set a default body font-size:

body { font-size: 13px }

or better, font-size: medium, but IE's medium size is bigger than Netscape's one. A trick to fool IE might be used here.

[cmlenz]

[943] removes superfluous font-family declarations from browser.css. That leaves us with three font-family declarations in trac.css. Those three differ and cannot be removed without altering the presentation.

I'm not so sure about using relative font-sizes throughout the style sheets. That's a bigger change that would need quite a bit of testing between different browsers/platforms.

[cmlenz]

Postponing.

[Martin Bialasinski <agr30@…>]

If relative font sizes are to be used, the proper way is to set the size in body to 100% and then set h1 to 200% etc. Thus respecting the font size the user has defined as his prefered normal font size.

Using em sizes instead of percentages should theoretically be no difference, but IE screws it up with sizes smaller than 1em and font set to "Smaller" in the browser.

[dju`]

I often use something like:

body {
   [...]
   font-size:smaller;	/* font size for IE */
}
html>body { font-size:small; } /* escaping IE, font size for others */

to unify font sizes in mozilla browsers and IE. Then I use relative (em) font sizes.

[cboos]

Two other tickets in favor of relative font size:

• using em/ex, #7410
• using pt, #3575

[Martin.vGagern@…]

Replying to dju`:

I often use something like […] to unify font sizes in mozilla browsers and IE.

I don't believe that unified font sizes are a desirable goal. In both browsers, users can configure their default font size. Users that do so should find their expressed preference honoured. Users that don't configure their browser might choose one or the other because of its default configuration options.

So I'd say the main goal should be to bulk of the text content displayed in the configured default font size, and to use relative font sizes (be it em or percent) for parts to be displayed differently.

[cboos]

#6771 (IE rendering h4 larger than h3) should be verified and addressed while reworking this.

[cboos]

I'd like to keep this one on the radar. This can be part of a general overhaul of the CSS:

• use trac- prefix more consistenly
• use variables for fonts, sizes, colors:
  • use templates to generate CSS,
  • or use ​CleverCSS (​clevercss.py)