updates

resulting html fixes. style. section numbering in output.