[Build] Some experimentation

2025-11-03 15:40:18 +01:00
parent 331bd01b8d
commit 5b1b65b0d8
19 changed files with 2509 additions and 151 deletions
--- a/main/style/counters.tex
+++ b/main/style/counters.tex
@@ -5,8 +5,8 @@
 % ▐███▌▐█▌.▐▌▐█▄█▌██▐█▌ ▐█▌·▐█▄▄▌▐█•█▌
 % ·▀▀▀  ▀█▄▀▪ ▀▀▀ ▀▀ █▪ ▀▀▀  ▀▀▀ .▀  ▀

-\usepackage{xstring}
-\usepackage{etoolbox}
+\RequirePackage{xstring}
+\RequirePackage{etoolbox}
 % tcolorbox and other stylistic elements (i.e. inline versions of them) that have counters
 \newcounter{lemma}[section]
 \newcounter{definition}[section]