From d2da6d18b2f7e58e07c54e885fd3ad10f92347fb Mon Sep 17 00:00:00 2001
From: Niki Roo <niki@nikiroo.be>
Date: Fri, 28 Feb 2025 15:55:07 +0100
Subject: [PATCH] Auto commit 2025-02-28 15:55

---
 Tech/web-css/index.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Tech/web-css/index.html b/Tech/web-css/index.html
index 73eddf9..460fd5b 100644
--- a/Tech/web-css/index.html
+++ b/Tech/web-css/index.html
@@ -986,6 +986,11 @@
 
 
 <h1 id="web-css">Web CSS</h1>
+<p>A usuful mozilla addition (note that it is a <em>prefix</em>):</p>
+<pre><code class="language-css">@-moz-document url-prefix(&quot;https://www.reddit.com/&quot;) {
+    /* [...] */
+}
+</code></pre>
 <p>A few (already working today) somewhat new CSS thingies.</p>
 <p>CSS custom properties (or, "CSS Variables"):</p>
 <pre><code class="language-css">:root { --main-color: red; }
-- 
2.27.0