HTML styles: prefix default styles with informative CSS comment (#11002)

Closes #8819
2026-09-26 09:25:48 +00:00 · 2025-07-29 14:28:08 -07:00
parent e4b6196636
commit de7f732be8
6 changed files with 18 additions and 0 deletions
@@ -11,6 +11,9 @@
  <meta name="date" content="2006-07-15" />
  <title>My S5 Document</title>
  <style type="text/css">
+    /* Default styles provided by pandoc.
+    ** See https://pandoc.org/MANUAL.html#variables-for-html for config info.
+    */
    code{white-space: pre-wrap;}
    span.smallcaps{font-variant: small-caps;}
    div.columns{display: flex; gap: min(4vw, 1.5em);}