Update options.html

Add Monokai style