From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 10 Aug 2016 04:17:06 +0000 (-0400)
Subject: More fiddling to get consistent spacing in proof-by-cases environments.
X-Git-Tag: posZ-submitted-laa~22
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=d8b66e409213fa4d3392f654081eb8dd85f03c4c;p=mjotex.git

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 0050a56..f2d9b90 100644
--- 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}
 }