Hello,
Commit 6679835174a93d5688c649c4feb2604cd6afd2a0 added the site-wide
navigation bar to the docs pages. This navigation bar is stuck to the
top of the browser viewport.
This patch removes the position: fixed style from the navigation bar and
removes the .pg-shout-box padding that compensated for the height of the
navigation bar.
Additionally, since the navigation bar is now no longer permanently on
screen, the main.js script (which only contains code for animating the
navigation bar) is also removed from the docs pages.