Fix switch to small navbar.

Fix suggested by cosmez in #racket.
Fix jerkiness of navbar navigation.