Fixed navbar to top of page

And it hides on hover and returns on hover.
Now we can decide if we want to stick a back-to-top button on it.
Sometimes, if the code is sufficiently complicated that that's necessary, I just declare the variables at the top and define them later. I think of it as sort of a table of contents of the things that are going to be used in this scope.