From 2c8ad219b1edd2a74ec9e9cb2b45cb416052e5ad Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Wed, 18 Sep 2024 11:00:02 -0700
Subject: [PATCH] styles: Fix invalid CSS generated due to @extend misusage.

@extend can only be used in an element selector, not directly within
@media.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 web/styles/pygments.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/web/styles/pygments.css b/web/styles/pygments.css
index e2860f2296..94809ab2b2 100644
--- a/web/styles/pygments.css
+++ b/web/styles/pygments.css
@@ -500,7 +500,9 @@
 }
 
 @media not screen {
-    @extend %light-theme;
+    :root {
+        @extend %light-theme;
+    }
 }
 
 @media screen {