line numbers never disappear; gray header bar
variable-width font in header
clear header; no style resetting
dividing line in the middle
gray line numbers again