Don't try to fix indent in tasks

It was not working anyway
This commit is contained in:
Théophile Bastian 2022-11-25 22:50:29 +01:00
parent 04fbb886f1
commit c4c31d9283

View file

@ -98,13 +98,3 @@
{ {
\ifchoristes\else\end{taskbar}\fi \ifchoristes\else\end{taskbar}\fi
} }
% Patch the task environment with indentation
% Thanks https://tex.stackexchange.com/a/207364
\makeatletter
\newcommand{\indentforlinedintro}{%
\patchcmd\mdf@lrbox{\parindent\z@}{\parindent\normalparindent\relax}{}{}%
\patchcmd\mdf@trivlist{\itemindent\z@}{\itemindent\normalparindent}{}{}%
}
\patchcmd{\task}{\begin}{\indentforlinedintro\begin}{}{}
\makeatother