Use monokai
Misc changes