- Ruby blue theme is the default now
- Load selected theme on startup
- Remove stupid tabs
- Various CSS fixes relating to CodeMirror 4.6 upgrade