Switch theme to Monokai
Increase default font size