chang highlight style to monokai