change the default font in the monokai terminal theme