UI tweaks

- Blue underline on active tab
- Remove borders surrounding code editor (this looks cleaner with contrast between the UI and the editor; will need to reevaluate if we have lighter editor themes)