options.addBooleanOption("html5", true);

            // TODO: This would be better to model as separate options

                                localStorage.setItem('theme', 'dark-mode');
                              } else {
                                localStorage.removeItem('theme');
                              }
                            };
                            themeToggleBtn.addEventListener('click', handleThemeToggle);
                        </script>
                    </li>

try{return JSON.parse(rawVal).value;}catch(e){inputClass.storage_.removeItem(key);return opt_default;}};inputClass.set=function(key,value,opt_namespace){if(value===undefined){throw new Error('Settings.set: value must not be undefined');}