Added alternative monokai stylesheet