[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