<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 03/12/2024 12:10, Bob Tennent wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAGtK6=FUTYUYZtymk0oGT56LT45a3ba2KhUOpCD0iDzSd7fOFw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default" style="font-size:large">Jonathan:
Using text mode, I get undesirable spacing before and after
/. I'm using Palatino as the font. </div>
</div>
<br>
</blockquote>
<p>Looks (proportionally) just the same as with the default CMR10 —</p>
<p><font face="monospace">\font \basefont = "Palatino Linotype"<br>
\basefont<br>
8 b/c<br>
\end</font></p>
<p>-- <br>
<i>Philip Taylor</i><br>
</p>
</body>
</html>