Shrinking header – Released

The header no longer jangles when you scroll back up.  It shrinks all the time after you have scrolled until you reach the top of the screen again.