Disable hidden options to make sure that they cannot be selected

IE and Safari do not support hiding options so far. With this change,
the options are at least grayed out and cannot be selected.