Differences

This shows you the differences between two versions of the page.

--- playground:bang [2025/01/25 14:44] – created clara
+++ playground:bang [2025/01/26 16:51] (current) – wgp
@@ Line 1: / Line 1: @@
-hello
+<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_bang&do=export_text", inject_css);
+</script>
+</HTML>
+{{playground:img_1992.jpg}}