Post-Platform Digital Publishing Toolkit

This is an old revision of the document!


<HTML> <script>

  function fetch_request(url, callback){
      // fetching the pad
      fetch(`${url}`, {
          'method': 'GET',
          'mode': 'cors',
      })
      .then(response => response.text() )
      .then(css => inject_css(css) );
  }
  function inject_css(css){
      console.log('pad loaded!');
      let el = document.createElement('style');
      el.id = "etherstyle";
      el.innerText = css;
      document.head.appendChild(el);
  };
  fetch_request("/doku.php?id=stylesheet:style_style_style_toilet_door&&do=export_text", inject_css);

</script>

playground/style_style_toilet_door.1738581544.txt.gz · Last modified: 2025/02/03 11:19 by clara