The HTML you are looking at is generated from the Texinfo source using makeinfo --html. If you don't like the way it formats things, take that up with makeinfo's maintainers (see http://www.gnu.org/software/texinfo/). If there are different texinfo constructs that the libc manual can use to look better, then we would welcome such suggestions.