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

To get consistent paragraph spacing, the "parsep" value was set on our
pcases environment. This naturally messed up the spacing between the
case label and the following paragraph, so the "itemsep" value was
tweaked, and a custom \vspace was added to each item.

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}
 }