Allow the header row to float to the top when the user scrolls down. This is non-trivial because of the way the table is positioned.
