Server mini update

We just updated the server with a set of minor bug fixes. Mostly formatting and appearance bugs have been fixed and new preferences to control how the top menu works have been added. That’s it — happy brainzing!