[everywhere] Reduce width of space after Note: and Example:.

Use upright font for : in Preconditions: and friends.

Author: zygoloid

source/macros.tex

@@ -267,7 +267,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}
@@ -287,7 +287,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}}