Fixing page anchors with some js now that we have a fixed navigation bar at top of documentation pages

[skip ci]