From 4b9d1871c01becabaaccc953ff8b05efff00b659 Mon Sep 17 00:00:00 2001
From: Jakub Jankiewicz <jcubic@onet.pl>
Date: Mon, 8 Jan 2024 22:20:08 +0100
Subject: [PATCH] protect bookmark terminal colors #246

---
 lib/css/terminal.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/css/terminal.css b/lib/css/terminal.css
index a5f35c2f3..2b9cae60a 100644
--- a/lib/css/terminal.css
+++ b/lib/css/terminal.css
@@ -1,5 +1,6 @@
 .lips.terminal {
-    --terminal: black;
+    --background: #000;
+    --color: #ccc;
 }
 .terminal .token.__doc__::before {
     color: var(--base-background, #000);