sat-solvers: don't transform headers to uppercase

vaibhavsagar · Aug 24, 2024 · 9aa0312 · 9aa0312
1 parent cccde8f
commit 9aa0312
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/sat-solvers/default.nix b/sat-solvers/default.nix
@@ -10,6 +10,7 @@ let
       -t revealjs \
       -V theme:solarized \
       ${src + "/presentation.md"} \
+      -H ${src + "/revealjs-override.html"} \
       -H ${src + "/mathjax-configuration.html"} \
       -A ${src + "/reveal-configuration.html"} \
       -A ${../tracking.html} \

diff --git a/sat-solvers/revealjs-override.html b/sat-solvers/revealjs-override.html
@@ -0,0 +1,5 @@
+<style>
+:root {
+  --r-heading-text-transform: none;
+}
+</style>