Tweak some personal theme colours.
Personal config tweaks. Start server if not started. Add Jedi.
Fix merge conflict with OSX fullscreen toggle