mjo-algebra.tex: fix glossary sorting of \variety

[mjotex.git] / mjo-proof_by_cases.tex

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 247d28049226213ae19173026680540fa94112c7..018e2e73cb4b5ab9bedddb38c02acdb2b1780369 100644 (file)
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -45,10 +45,9 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
+  label=\textit{Case~\arabic*}:~\protect\thiscase\textit{.},
   ref=\arabic*,
   align=left,
-  leftmargin=0pt,
   listparindent=\parindent,
   parsep=\parskip,
   itemsep=\singleblskip}