More fiddling to get consistent spacing in proof-by-cases environments.

[mjotex.git] / mjo-proof_by_cases.tex

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 0050a562c13719340f74c03019d91b7c4c8a468c..f2d9b90987c8b894d74f8f38c41b16a620931029 100644 (file)
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -24,7 +24,9 @@
   ref=\arabic*,
   align=left,
   leftmargin=0pt,
-  listparindent=\parindent}
+  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
@@ -33,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}
 }