Can the font in the badges section be changed?

Question

I am new to this SE site, and looking at the badges section, the font is hard to read. Is it possible to either change this font, or make it bigger?

Answer 1

While this doesn't address your feature request, it is a workaround: in all (modern) web browsers you can increase the size of the fonts on a page with the zoom command. In Firefox, for example, this is Ctrl+.

Alternatively, you could also use an extension like Stylish and write your own CSS snippet to override the default style.

Answer 2

The fonts enumerated for the .badge CSS class:

+--------------------------+----------+---------------+
| Font name                | Tested ? | Looks good ?  |
+--------------------------+----------+---------------+
| DejaVu Sans Mono         | yes      | yes           |
| Bitstream Vera Sans Mono | yes      | yes           |
| Courier New              | yes      | no, too small |
| Courier                  | yes      | no, too wide  |
| Consolas                 | yes      | yes           |
| Andale Mono WT           |          |               |
| Andale Mono              |          |               |
| Lucida Console           | yes      | yes           |
| Lucida Sans Typewriter   | yes      | yes           |
+--------------------------+----------+---------------+

(Tested on Linux with Firefox. If you have the other fonts installed, please edit this answer.)

For now, seems that Courier New is the one to blame. I suggest to remove Courier New and to move Courier as last font specified for .badge in all.css:

font-family:"DejaVu Sans Mono","Bitstream Vera Sans Mono",Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter",Courier,monospace;