MINOR: the navigation bar is now 'fixed'.
MINOR: the navigation bar is now 'fixed'.

The navigation bar used to follow scrolling by moving;
it is now 'fixed', not moving but keeping the same place
in the window.

aantron/bisect_ppx,aantron/bisect_ppx