Author :
Werner Lemberg
Date :
2014-11-28 05:33:58
Hash :984e0717 Message :[docmaker] Replace some `<table>' tags with `<h4>' and `<div>'.
* src/tools/docmaker/tohtml.py (marker_*): Use `<h4>'.
(source_*): Use `<div>'.
(HtmlFormatter::block_enter): s/<h4>/<h3>/.
Werner Lemberg