Merge baa5973128 into a8eda59d98

2025-12-16 01:48:56 +08:00 · 2025-06-01 13:11:32 +03:00
1 changed files with 0 additions and 1 deletions
--- a/doc/stylesheet.css
+++ b/doc/stylesheet.css
@@ -34,7 +34,6 @@ html {
  --fragment-linenumber-color: #414868;
  --fragment-linenumber-background: #2c2e34;
  --fragment-linenumber-border: #1a1b26;
-  --fragment-lineheight: 1.125em;
 }

 /* Base style for all sections */