doc: modify style for texi2html 1.78+