Add reference to monokai theme to default settings