[Savannah-hackers-public] cgit.css and font-size:10pt

[Karl Berry]

When I browse (any) git tree online at Savannah, e.g.,
  http://git.savannah.gnu.org/cgit/guix.git/tree/guix/scripts/lint.scm
the font is noticeably small -- my eyes suck, and I basically can't
deal with that.

It's because vcs:/var/www/git/cgit/cgit.css specifies
        font-size: 10pt; 
for "body".  Why every piece of software thinks it knows better than its
users what size they need to read text at is beyond me.  It is
frustrating.  And why my browsers don't honor my "Minimum font size"
setting (16) is also beyond me; that's even more frustrating.  It helps
sometimes, but many times not, as here.

Anyway, we can't fix the world, but we can change savannah just by
commenting out that line.  Of course such a tweak would be lost at
cgit upgrade, but I don't expect that to happen any time soon.

Anyone object to my doing so?

k