Improve pageheader display on text-based browsers

Text-based browsers (and some GUI browsers such as dillo) display
the pageheader as:

  "summaryrefslogtreecommitdiff"

This is difficult-to-read.  Improve accessibility for users who
cannot run memory-hungry browsers by using whitespace instead of
relying on CSS.

1 files changed, 1 insertions, 1 deletions

@@ -75,7 +75,7 @@ div#cgit table.tabs td {
 }
 
 div#cgit table.tabs td a {
-        padding: 2px 0.75em;
+        padding: 2px 0.25em;
         color: #777;
         font-size: 110%;
 }