X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-proof_by_cases.tex;h=f2d9b90987c8b894d74f8f38c41b16a620931029;hb=d8b66e409213fa4d3392f654081eb8dd85f03c4c;hp=f86c9d0e64c7740e1b05dd7ffe39b5d1a02c6594;hpb=3c2517bef26d15843949fa23055eafe09f1619ac;p=mjotex.git

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index f86c9d0..f2d9b90 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -20,10 +20,13 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
+  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
   ref=\arabic*,
   align=left,
-  leftmargin=\parindent}
+  leftmargin=0pt,
+  listparindent=\parindent,
+  parsep=\parskip,
+  itemsep=\baselineskip}
 
 % The optional argument here gets stuffed into the \thiscase macro, to
 % be called by pcases when it creates this list item. The \hfill is a
@@ -32,5 +35,5 @@
 % so we consume the rest of the line instead.
 \newcommand{\case}[1][]{
   \def\thiscase{#1}%
-  \item \hfill\par
+  \item \hfill\par\vspace{\baselineskip}
 }