r.js"></script>
  <script defer>
    document.querySelector('#the_button').addEventListener('click',function(e){
      e.preventDefault();
      puppertinoThemeMan.toggle();
    });
  </script>
</html>
