[tor-bugs] #9360 [Trac]: increase font size in trac
Tor Bug Tracker & Wiki
blackhole at torproject.org
Wed Jul 31 09:25:01 UTC 2013
#9360: increase font size in trac
-----------------------+----------------------------------------------------
Reporter: qbi | Owner: erinn
Type: defect | Status: new
Priority: minor | Milestone:
Component: Trac | Version:
Keywords: css, font | Parent:
Points: | Actualpoints:
-----------------------+----------------------------------------------------
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 }
}}}
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/9360>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list