updated theme to monokai