Highlight theme changed to monokai