Windows don't scroll the whole way to the bottom

[mpelley]

The bottom part of a window is cut off when the contents are large enough so that it needs to be vertically scrolled. The attached screenshot is scrolled the whole way to the bottom. Notice also the down arrow of the scroll bar is missing.

[FoolRunning]

From looking into this a little bit, it looks like the new header pushed down the dock area without shrinking it vertically.
See height: calc(100% - 8px); in the definition for the .dock-layout style.

Note that the correct fix is not to change that to height: calc(100% - 56px); 😉

[irahopkinson]

I put in a PR for this since it is a potential prerequisite to #66.