From c348427f07b51b0bd9d88d25bffd1737228919e5 Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Fri, 11 Aug 2023 10:48:12 +0200 Subject: [PATCH] [update] make pygments.less Signed-off-by: Markus Heiser --- searx/static/themes/simple/src/generated/pygments.less | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/searx/static/themes/simple/src/generated/pygments.less b/searx/static/themes/simple/src/generated/pygments.less index 89d16a9db..083c4f296 100644 --- a/searx/static/themes/simple/src/generated/pygments.less +++ b/searx/static/themes/simple/src/generated/pygments.less @@ -1,6 +1,6 @@ /* this file is generated automatically by searxng_extra/update/update_pygments.py - using pygments version 2.15.1 + using pygments version 2.16.1 */ .code-highlight .linenos { @@ -42,6 +42,7 @@ .code-highlight .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */ .code-highlight .gd { color: #A00000 } /* Generic.Deleted */ .code-highlight .ge { font-style: italic } /* Generic.Emph */ +.code-highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */ .code-highlight .gr { color: #E40000 } /* Generic.Error */ .code-highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ .code-highlight .gi { color: #008400 } /* Generic.Inserted */