static/css/oqplatform.css:

Reduced the margins in the menu bar; it looks a lot better.