From 6699255f59669cd044189c55afd141eba39c591a Mon Sep 17 00:00:00 2001 From: uncenter <47499684+uncenter@users.noreply.github.com> Date: Thu, 15 Aug 2024 22:00:38 +0200 Subject: [PATCH] fix(scripts/build-gh-pages): add `code` selector for pygments styles (#69) --- scripts/build-gh-pages | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build-gh-pages b/scripts/build-gh-pages index fde4b19..c8da780 100755 --- a/scripts/build-gh-pages +++ b/scripts/build-gh-pages @@ -54,7 +54,7 @@ def postprocess_css(content: str, important: bool) -> str: def flavor_css(flavor: str) -> str: style = PYGMENTS_STYLES[flavor] formatter = HtmlFormatter(style=style) - return formatter.get_style_defs("pre") + return formatter.get_style_defs(["pre", "code"]) def variable_css() -> str: