Use default theme and crisp font
Use tomorrow-night theme and Menlo font