onlinedocs formated text too small to read

[Gerald Pfeifer]

On Thu, 6 Oct 2011, Jon Grant wrote:
> Thank you. I filled a PR now:
> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642

Thanks you!  And sorry that this somehow fell through the cracks.

I have now adjusted our web site to use our global CSS for the
online documentation (and we can hence easily tweak things going
forward), cf. https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00171.html
and https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00172.html .

Gerald