From 4a84072d059e8d7918a6f9b873a2d0d63eed49f8 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Sun, 28 Mar 2021 22:04:38 +0200
Subject: [PATCH] Change to teletype font with more distinguishable boldface
 variant

---
 mlsshared.sty | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/mlsshared.sty b/mlsshared.sty
index 707259678..e8a541c00 100644
--- a/mlsshared.sty
+++ b/mlsshared.sty
@@ -6,6 +6,15 @@
 % characters to also produce an \allowbreak{} following the directory separator.
 \newcommand{\filename}[1]{\mbox{\textsf{#1}}}
 
+% Pick a tt font that meets all of the following requirements:
+% - Not too wide (to reduce need for manual breaking of long lines)
+% - Has boldface variant that is distinctively heavier than its medium weight variant.
+% - Medium weight variant is heavy enough to not make non-black colors blend too much with the
+%   white background due to anti-aliasing and similar effects.
+% Warning: Note that changing to a font with different width -- especially a wider one -- means
+% that existing manual line breaks are potentially becoming out of place.
+\usepackage{newtxtt}
+
 \usepackage{listings}
 \usepackage{color}
 \usepackage[table]{xcolor}