// Theme toggle button wiring. Requires a #theme-toggle element in the page. // Loaded as