HTML reader: read widths from col tags if present.

Closes #893.