commit | ba1ba0cadebcae07e40572bcb19cb56c2e9b5ee5 | [log] [tgz] |
---|---|---|
author | Werner Lemberg <wl@gnu.org> | Fri Nov 28 22:04:14 2014 +0100 |
committer | Werner Lemberg <wl@gnu.org> | Fri Nov 28 22:04:14 2014 +0100 |
tree | dde0a18e02768444b161d1418e4ba4ffb64b60f0 | |
parent | 348fffa8509629b2c68f2438ece9e020861a0c36 [diff] |
[docmaker] Format field lists with CSS. This also simplifies the inserted HTML code. * src/tools/docmaker/tohtml.py (HtmlFormatter::print_html_field_list): Do it.