Thanks for reporting the problem. I installed the attached patch to the
Gnulib web page's manual.css. It fixed things for me after I forced my
browser to reload.
Index: manual.css
===
RCS file: /web/gnulib/gnulib/manual.css,v
retriev
Does anybody have access to
https://www.gnu.org/software/gnulib/manual.css and could the CSS lines
mentioned below removed? These CSS lines would be a problem with any
Texinfo manual built with Texinfo 6.8 due to changes in the structure
of the HTML (enclosing an entire section in
rather than just
