Make the header shorter

[weatherpattern]

Currently the UI header is taller than Versionista. Is it possible to make the header shorter, so that more of the diffed pages can be viewed.

Source: Feedback from Aaron
https://docs.google.com/document/d/1oc266scFn-svkEgehO-C4ntpuvxkLmO99YdjjZWeA34/edit

[manaswinidas]

Is it still open? I'm interested to take this up.

[Mr0grog]

This needs a lot of design consideration (if that’s what you want to do, great!). It’s not really ready for any technical work.

[manaswinidas]

@Mr0grog That's great! Where do I start?

[Mr0grog]

(For clarity: we had a separate discussion on Slack about better issues to start with. We do need to find time to come back to this, maybe n conjunction with re-reviewing @tosfan4ever’s work from #57)

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in seven days if no further activity occurs. If it should not be closed, please comment! Thank you for your contributions.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in seven days if no further activity occurs. If it should not be closed, please comment! Thank you for your contributions.

[lightandluck]

Added never-stale label