Use monokai coloring