Now that texi2any is the single, standard tool for HTML-generation with Texinfo, I've made some changes to janix-texinfo.css in view of this fact (and that development of texi2html is halted).
https://github.com/Janixman/janix-texinfo.css *** The Texinfo 5.0 manual was built using the following command: texi2any --split=node --html --css-ref=janix-texinfo.css --set-customization-variable WORDS_IN_PAGE=0 texinfo.txi and can be viewed by directing your browser to: http://docs.janixsoft.com/texinfo/index.html
