http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642
--- Comment #9 from Shakthi Kannan <skannan at redhat dot com> 2013-04-30 09:54:50 UTC --- Created attachment 29978 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29978 Override @smallexample attributes The attached patch overrides the default @smallexample attributes defined by makeinfo. It includes a html.css file where the smallexample attributes are defined to use a medium font size with a light blue background for readability and clarity. The patch has also been sent to the gcc-patches mailing list: http://gcc.gnu.org/ml/gcc-patches/2013-04/msg01766.html