From 9d7f700c35cfb5dbf05d06021b541cf13da353f9 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Fri, 20 Mar 2020 15:29:14 +0000
Subject: [PATCH] Protocol spec: LaTeX cosmetics.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 protocol/protocol.tex | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index aee04c2e..87f15ec0 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -38,6 +38,12 @@
 \usepackage[hang]{footmisc}
 \usepackage{xstring}
 \usepackage[usenames,dvipsnames]{xcolor}
+\usepackage{etoolbox}
+\usepackage{subdepth}
+\usepackage{fix-cm}
+\usepackage{hyphenat}
+\usepackage{tocloft}
+\usepackage{pict2e}
 
 % Must be loaded before hyperref. <https://tex.stackexchange.com/a/22014/78411>
 % noautomatic is used because either latexmk or the Makefile will take care of running
@@ -49,6 +55,7 @@
 % <https://stackoverflow.com/a/49406814/393146>
 \newcommand{\increment}[1]{\the\numexpr #1+1\relax}
 
+
 % The destlabel option creates "destination names" in the PDF, which allows
 % linking to sections in URL fragments when viewing the PDF in a web browser:
 % <https://tex.stackexchange.com/a/65049/78411>
@@ -73,12 +80,6 @@
 
 \usepackage{cleveref}
 \usepackage{nameref}
-\usepackage{etoolbox}
-\usepackage{subdepth}
-\usepackage{fix-cm}
-\usepackage{hyphenat}
-\usepackage{tocloft}
-\usepackage{pict2e}
 
 \usepackage{silence}
 \WarningFilter{latex}{Reference}
@@ -223,7 +224,7 @@
 \renewcommand{\cite}[2][]{\raisebox{0ex}{\oldcite[{#1}]{#2}}}
 
 \let\oldfootnote\footnote
-\renewcommand{\footnote}[1]{\hairspace{\oldfootnote{#1}}}
+\renewcommand{\footnote}[1]{\hairspace\oldfootnote{#1}}
 \newcommand{\footnotewithlabel}[2]{\hairspace\oldfootnote{\label{#1}{#2}}}
 
 \newcommand{\noborders}[1]{% no nations