paper: don't keep the menu affixed to the top This makes scrolling slow and causes browsers to use a lot of CPU time.

(binary:image/png)