From 969d9316bd128179fdde1f2c5d7ae03eaed85448 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Wed, 7 Oct 2020 22:25:38 +0100
Subject: [PATCH] [layout] Make "small" line spacing equal to normal spacing.

Now "normal" is 10pt/12pt (as it has always been) and "small" is
9pt/12pt. This makes notes and examples use the same line spacing as
the ambient text.
---
 source/layout.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source/layout.tex b/source/layout.tex
index 1f82bd20d9..73f2ae4721 100644
--- a/source/layout.tex
+++ b/source/layout.tex
@@ -31,6 +31,12 @@
 %% than immediately following the main text.
 \feetatbottom
 
+%%--------------------------------------------------
+%% Make the "small" size, used for notes and examples, have the same
+%% line height as the normal text.
+\renewcommand{\normalsize}{\fontsize{10pt}{12pt}\selectfont}
+\renewcommand{\small}{\fontsize{9pt}{12pt}\selectfont}
+
 %%--------------------------------------------------
 %% Paragraph and bullet numbering