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.