Update TODO
Make global navbar horizontal.
Add a nav-label to CSS.
Prettify JS.
Add horizontal history tab.
Update TODO