increase font size in trac
Whenever I visit trac I find the fonts hard to read. The file https://trac.torproject.org/tor.css has the following lines inside:
body, th, td {
font: normal 13px Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
}
So the font-size is set to 13px. I would propose to change it to 1.0em
. This sets the font-size to the value the users has set for normal texts. So it should reflect the users choice.
Maybe can also change the font sizes of the headings. The current setting in tor.css is:
h1 { font-size: 19px; margin: .15em 1em 0.5em 0 }
h2 { font-size: 16px }
h3 { font-size: 14px }
In relative terms the settings should be like:
h1 { font-size: 1.5em; margin: .15em 1em 0.5em 0 }
h2 { font-size: 1.2em }
h3 { font-size: 1.1em }