From 8b26062122e15afd406c46bd1347e729674a26cc Mon Sep 17 00:00:00 2001 From: yfyeung Date: Wed, 9 Aug 2023 01:44:22 +0000 Subject: [PATCH] deploy: 00256a766921dd34a267012b0e2b8ff7d538f0e6 --- _static/pygments.css | 1 + 1 file changed, 1 insertion(+) diff --git a/_static/pygments.css b/_static/pygments.css index 691aeb82d..0d49244ed 100644 --- a/_static/pygments.css +++ b/_static/pygments.css @@ -17,6 +17,7 @@ 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 */