Column headers are now fixed such that they stay at the top of page
regardless of how far the user scrolls down (closes #724).