Fixed bottom-padding for table headers
Fixed bottom-padding for table headers

It'll look weird of there's only `th`s and no `td`s, but that does't happen.
xtermjs/xtermjs.org,xtermjs/xtermjs.org,xtermjs/xtermjs.org,xtermjs/xtermjs.org