[docmaker] Replace empty `<td>' with CSS.. * src/tools/docmaker/tohtml.py (HtmlFormatter::section_enter): Do it.