() {
            document.getElementById("themeLight").addEventListener("click", () => toggle_theme());
            document.getElementById("themeDark").addEventListener("click", () => toggle_theme());

            function show_settings_in_textarea() {
                const textArea = document.getElementById("settingsTextArea");
                textArea.value = JSON.stringify(adminSettings, null, 2);
            }

            function copy_settings_to_clipboard() {
                const textArea = documen