<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
<style>
div.plaintext { white-space: normal; }
body { font-family: sans-serif; }
blockquote.embedded,div.plaintext blockquote { margin: 0 0 5px; padding-left: 5px; border-left: 2px solid #777777; color: #777777; }
blockquote.embedded blockquote.embedded,div.plaintext blockquote blockquote { border-left-color: #999999; color: #999999; }
blockquote.embedded blockquote.embedded blockquote.embedded,div.plaintext blockquote blockquote blockquote { border-left-color: #BBBBBB; color: #BBBBBB; }
blockquote.embedded,div.plaintext blockquote a { color: #777777; }
blockquote.embedded blockquote.embedded,div.plaintext blockquote blockquote a { color: #999999; }
blockquote.embedded blockquote.embedded blockquote.embedded,div.plaintext blockquote blockquote blockquote a { color: #BBBBBB; }
div.plaintext math[display="inline"] > mrow { padding:5px; }
div.plaintext div.footnotes li p { margin: 0.2em 0; }
div.plaintext .task-list-item { list-style-type: none; }
</style>
</head>
<body><div class="plaintext"><p dir="auto">On 2024-12-04 at 07:30:03 UTC-0500 (Wed, 04 Dec 2024 12:30:03 +0000)
<br />
Oliver Sturm via mailmate <mailmate@lists.freron.com>
<br />
is rumored to have said:</p>
<blockquote><p dir="auto">Now the remaining problem was only that the display seemed very untidy because of the proportional width font used for the view. I changed the font to my preferred Pragmata Pro Mono Liga, and that’s fine for me although it applies to all columns at once. I have one issue remaining, which is that the selectable font sizes are only 14 and 18, while I think 16 would be fantastic — I expect I might find a settings file somewhere so I can select the right size manually.</p>
</blockquote><p dir="auto">The size field above the size list in the font picker is user-editable. If you enter an unlisted size, the system will scale one of the available sizes.</p>
</div><div id="391C2EDB-51F2-44BE-8BBE-77E1377A3737"><pre>
bill@scconsult.com or billcole@apache.org
(AKA @grumpybozo@toad.social and many *@billmail.scconsult.com addresses)
Not Currently Available For Hire
</pre></div>
</body>
</html>