fix #1566 Changes to options menu

generally it is a bad idea™ to manipulate `.style.`, instead using a class like `.hidden { display: none; }` and toggling that with addClass/removeClass, so you don't need to worry about what the original `style.display` value was.