From e45c9233bd32c64e5a65db0d7d7e7058b05f3b6e Mon Sep 17 00:00:00 2001
From: "Dzomo, the Everest Yak" <24394600+dzomo@users.noreply.github.com>
Date: Sat, 13 Jul 2024 01:23:06 +0000
Subject: [PATCH] [CI] Refresh Low* tutorial

---
 lowstar/html/static/pygments.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lowstar/html/static/pygments.css b/lowstar/html/static/pygments.css
index 0d49244..691aeb8 100644
--- a/lowstar/html/static/pygments.css
+++ b/lowstar/html/static/pygments.css
@@ -17,7 +17,6 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
 .highlight .cs { color: #408090; background-color: #fff0f0 } /* Comment.Special */
 .highlight .gd { color: #A00000 } /* Generic.Deleted */
 .highlight .ge { font-style: italic } /* Generic.Emph */
-.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
 .highlight .gr { color: #FF0000 } /* Generic.Error */
 .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
 .highlight .gi { color: #00A000 } /* Generic.Inserted */