Cosmetics: vertical spacing and pagination.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>

protocol/protocol.tex

@@ -79,7 +79,7 @@
 \setlist[itemize]{itemsep=0.5ex,topsep=0.2ex,before=\vspace{-1ex},after=\vspace{1.5ex}}
 
 \newlist{formulae}{itemize}{3}
-\setlist[formulae]{itemsep=0.2ex,topsep=0ex,leftmargin=1.5em,label=,before=\vspace{-1ex},after=\vspace{1.5ex}}
+\setlist[formulae]{itemsep=0.2ex,topsep=0ex,leftmargin=1.5em,label=,after=\vspace{1.5ex}}
 
 \newcommand{\docversion}{Version unavailable (check protocol.ver)}
 \InputIfFileExists{protocol.ver}{}{}
@@ -3434,6 +3434,7 @@ $\MaxBlockSubsidy$, and $\FoundersFraction$ are instantiated in \crossref{consta
   \item $\MinerSubsidy(\BlockHeight) := \BlockSubsidy(\BlockHeight) - \FoundersReward(\BlockHeight)$.
 \end{formulae}
 
+\needspace{18ex}
 \nsubsection{Payment of Founders' Reward} \label{foundersreward}
 
 The \foundersReward is paid by a \transparent output in the \coinbaseTransaction, to
@@ -3441,7 +3442,6 @@ one of $\NumFounderAddresses$ \transparent addresses, depending on the \blockHei
 
 \renewcommand{\arraystretch}{0.95}
 
-\introlist
 For the production network, $\FounderAddressList_{\mathrm{1}..\NumFounderAddresses}$ is:
 
 \begin{tabular}{@{\hskip 2.5em}l@{\;}l}
@@ -3506,9 +3506,9 @@ For the test network, $\FounderAddressList_{\mathrm{1}..\NumFounderAddresses}$ i
 Each address representation in $\FounderAddressList$ denotes a \transparent
 P2SH multisig address.
 
+\introlist
 Let $\SlowStartShift$ be defined as in the previous section.
 
-\introlist
 Define:
 
 \begin{formulae}
@@ -3597,6 +3597,7 @@ and would require an RFC in order to do so.)
 \end{comment}
 
 
+\needspace{18ex}
 \nsection{Differences from the Zerocash paper} \label{differences}
 
 \nsubsection{Transaction Structure} \label{trstructure}