https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89032
Martin Liška <marxin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Last reconfirmed| |2019-01-24 Resolution|FIXED |--- Ever confirmed|0 |1 --- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- Please add missing CSS file for it, take a look here: https://gcc.gnu.org/onlinedocs/7.3.0/