Documentation html tweaks

3 commits, which:-
* Change the title of the within page menu from Page to Section
* Add js to make the dropdown menu length to be limited by viewport length, scrolling within that
* Increase the top padding on h2 elements so following link from menu does not have the title hidden under the menu bar (crude, but works well).