Collapsed-mode and a new header

We just deployed a minor design-change, specifically a new header. The main goal with the new header is to give a cleaner look, and save a few pixels vertically.

We also added a new “collapsed-mode” toggle at the bottom of the repository infobox:


If you click the arrow, you’ll hide a lot of the content in the infobox, stuff you’re probably not interested in seeing all the time anyway. Click the same arrow again to toggle back on.

Feedback is as always appreciated!