Can someone change the Wiki font from 12px to at least 14px, and adjust other font sizes accordingly? The current size is really hard to read. I put this in Firebug, and it is much easier on the eyes:

div.content { font-size: 14px; line-height: 1.3em; } pre { ... font-size: 12px; line-height: 1.2em; }

And the title of the page should be displayed below the flag bar, in place of the big "Contents" heading. That would be enough to use the wiki comfortably.

Regards, Krzysztof