More minor edits to monokai.