introduced HtmlFormat.format
Merge branch 'develop' into 2html
fixed a bug that ignores  the command line option -c for css
tidy up a little bit the generation of "body"