[Bug web/50642] onlinedocs formated text too small to read

[gjl at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642

--- Comment #5 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-10-07 
17:17:30 UTC ---
Legibility first. There is no need to be more catholic than the pope ;-)