From 068125f6a9441770e60b6b3d115a63137a10a6dc Mon Sep 17 00:00:00 2001
From: Richard Smith <richard@metafoo.co.uk>
Date: Thu, 17 Sep 2020 21:55:12 -0700
Subject: [PATCH] [everywhere] Reduce width of space after Note: and Example:.

Use upright font for : in Preconditions: and friends.
---
 source/macros.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/macros.tex b/source/macros.tex
index e7b2ac6e8a..272e8cc85a 100644
--- a/source/macros.tex
+++ b/source/macros.tex
@@ -266,7 +266,7 @@
 \newcommand{\leftshift}[1]{\ensuremath{\mathbin{\mathsf{lshift}_{#1}}}}
 
 %% Notes and examples
-\newcommand{\noteintro}[1]{[\textit{#1}:\space}
+\newcommand{\noteintro}[1]{[\textit{#1}:}
 \newcommand{\noteoutro}[1]{\textit{\,---\,#1}\kern.5pt]}
 
 % \newnoteenvironment{ENVIRON}{BEGIN TEXT}{END TEXT}
@@ -286,7 +286,7 @@
 
 %% Library function descriptions
 \newcommand{\Fundescx}[1]{\textit{#1}}
-\newcommand{\Fundesc}[1]{\Fundescx{#1:}\space}
+\newcommand{\Fundesc}[1]{\Fundescx{#1}:\space}
 \newcommand{\recommended}{\Fundesc{Recommended practice}}
 \newcommand{\required}{\Fundesc{Required behavior}}
 \newcommand{\constraints}{\Fundesc{Constraints}}