From 7c3ba98a29c85060c80e7b0346328a82676338fe Mon Sep 17 00:00:00 2001
From: pat-s <patrick.schratz@gmail.com>
Date: Thu, 20 Jul 2023 09:15:53 +0200
Subject: [PATCH] dark: use text-light color for text-grey

---
 theme-github-dark.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theme-github-dark.css b/theme-github-dark.css
index f43f5a4..bfdc71f 100755
--- a/theme-github-dark.css
+++ b/theme-github-dark.css
@@ -7,6 +7,7 @@
   --color-footer: #161b22;
   --color-text-light: #a6aab5;
   --color-text-light-2: #ADBAC7;
+  --color-grey-light: var(--color-text-light);
   --color-text: #bbc0ca;
   --color-box-body: #22272e;
   --color-markup-code-block: #636e7b66;