Reduce doc size

Former-commit-id: 6f92f375e9cf92159e769ce562071bb56a871819
This commit is contained in:
2024-01-04 14:17:44 +01:00
parent 74854fa65c
commit 5b57139450
56 changed files with 6392 additions and 31860 deletions

View File

@@ -213,7 +213,7 @@
\begin{document}
\maketitle
\ifdefined\Shaded\renewenvironment{Shaded}{\begin{tcolorbox}[breakable, interior hidden, enhanced, boxrule=0pt, borderline west={3pt}{0pt}{shadecolor}, sharp corners, frame hidden]}{\end{tcolorbox}}\fi
\ifdefined\Shaded\renewenvironment{Shaded}{\begin{tcolorbox}[boxrule=0pt, breakable, enhanced, borderline west={3pt}{0pt}{shadecolor}, frame hidden, interior hidden, sharp corners]}{\end{tcolorbox}}\fi
\renewcommand*\contentsname{Table of contents}
{