HeaderWidths when Scrolling + local 

If scrolling is enabled and the table is having the style ´´box-sizing: border-box´´ and the <th> do have a local css width set, then the new header sizes are smaller, because jquery.css() always resolves the size of the content box.
The css width is guaranteed to be available due to line 3669 which was previously commited.