text: // Query for the toggle that is used to change between themes
  //
  // window.onload = () => {
  //     let toggle = document.querySelector('#theme-toggle');
  // // Listen for the toggle check/uncheck to toggle the dark class on the <body>
  //     toggle.addEventListener('ionChange', (ev) => {
  //         document.body.classList.toggle('dark', ev.detail.checked);
  //     });
  //
  // // Called by the media query to check/uncheck the toggle
  //     function checkToggle(shouldCheck) {
  //         toggle.checked = shouldCheck;
  //     }
  // }