more monokai colortheme tweaking