Implements #9203. Pin the header of table, to make it always visible even if...

Implements #9203. Pin the header of table, to make it always visible even if there are a lot of rows
3 jobs for theadsticky in 2 minutes and 53 seconds (queued for 2 seconds)