use monokai theme in GUI-mode