Better top bar.
Merge branch 'master' of github-mattpf:6004x/6.004x