HTML style: support "width" of column definition as <col> width.
Merge pull request #22 from 4teamwork/jone-html-col-width

HTML style: support "width" of column definition as <col> width.