From 4c21b190c7201486d70699261521fc6c78054f8e Mon Sep 17 00:00:00 2001
From: Richard Smith <richard@metafoo.co.uk>
Date: Fri, 13 Nov 2015 13:53:05 -0800
Subject: [PATCH] Use microtype package; this allows us to word wrap less
 often.

---
 source/std.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/std.tex b/source/std.tex
index c11ecc1104..7dee61f154 100644
--- a/source/std.tex
+++ b/source/std.tex
@@ -25,6 +25,7 @@
 \usepackage{color}        % define colors for strikeouts and underlines
 \usepackage{amsmath}      % additional math symbols
 \usepackage{mathrsfs}     % mathscr font
+\usepackage{microtype}
 \usepackage{multicol}
 \usepackage{xspace}
 \usepackage{fixme}