From a2b535d9ef8864b2d314c739a0e788a6df911aaf Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 17 Nov 2019 09:42:06 -0500
Subject: users guide: Try to silence underfull \hbox warnings

We use two tricks, as suggested here [1]:

 * Use microtype to try to reduce the incidence of underfull boxes
 * Bump up \hbadness to eliminate the warnings
---
 docs/users_guide/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'docs/users_guide/conf.py')

diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
index 597d6765c7..802d4c7e92 100644
--- a/docs/users_guide/conf.py
+++ b/docs/users_guide/conf.py
@@ -107,6 +107,10 @@ latex_elements = {
 \setromanfont{DejaVu Serif}
 \setmonofont{DejaVu Sans Mono}
 \setlength{\\tymin}{45pt}
+
+% Avoid a torrent of over-full \hbox warnings
+\usepackage{microtype}
+\hbadness=99999
 ''',
 }
 
-- 
cgit v1.2.1