scripts.js

window.addEventListener('load', function () {
  const gradioURL = window.location.href;
  if (!gradioURL.endsWith('?__theme=dark')) {
    window.location.replace(gradioURL + '?__theme=dark');
  }
});