Commit a5ad26afea90e89946a37bffe2c1094d99697a53

Werner Lemberg 2014-11-27T10:52:24

* src/tools/docmaker/tohtml.py: Replace <font> with CSS.