https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642
Gerald Pfeifer <gerald at pfeifer dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |gerald at pfeifer dot com
Assignee|unassigned at gcc dot gnu.org |gerald at pfeifer dot
com
--- Comment #15 from Gerald Pfeifer <gerald at pfeifer dot com> ---
I'm working on this. First I will have the online documentation reference
our global CSS style ( https://gcc.gnu.org/gcc.css ), then we can easily
tweak that.
