They stuffed the entire page into a div (#col2) that fills the screen and is scrollable; the header is outside that div. So that scrollbar is not the normal pag

They stuffed the entire page into a div (#col2) that fills the screen and is scrollable; the header is outside that div. So that scrollbar is not the normal page scrollbar, but a scrollbar for one part of the page.