Removed Monokai theme.