Off with it's head! (Pager)

First part of #6248
That's just to resize the upper margin of the notebook when the header div changes size.  i.e. when the toolbar is hidden.  Otherwise, a large whitespace remains.