The bookmarklet just finds all fixed-position elements on the page, and removes them. This might remove the navigation, but if you need it back, just hit refresh. That’s why I created a bookmarklet and not a custom user-stylesheet or browser plugin: this is the simplest way to solve the problem.
Source: Kill sticky headers