Trying out monokai