[skip ci] Build helpers on push

2026-01-02 06:11:50 +00:00
parent 4522e88c92
commit eda396d617
4 changed files with 12 additions and 0 deletions
--- a/dist/recommended.tex
+++ b/dist/recommended.tex
@@ -267,7 +267,10 @@
        }
    }
 }
+
+\newcommand{\hrmvspace}{\vspace{-0.25pc}}
 \newcommand{\rmvspace}{\vspace{-0.5pc}}
+\newcommand{\mrmvspace}{\vspace{-0.75pc}}
 \newcommand{\drmvspace}{\vspace{-1pc}}
 \renewcommand{\footrulewidth}{0.4pt}
 \newcommand{\TODO}{\color{red} \hl{TODO:} \color{black}}