e
            window.applySettings()
        }

        document.getElementById('radio-font-size-' + settings.fontSize).checked = true
        document.getElementById('radio-width-mode-' + settings.widthMode).checked = true
        document.getElementById('radio-locale-' + settings.locale).checked = true
        window.applySettings()
    </script>
{% endblock %}
