<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Hi, <br>
</font></p>
<p>I am not comfortable with the new font size scheme.</p>
<p>In my display 14 is bit too large, and 10 a bit too small. I miss
a 11 points height.</p>
<p>What about:</p>
<p>fontSizes<br>
^ `{<br>
#tinyFonts -> 7.<br>
#verySmallFonts -> <b>11</b>.<br>
#smallFonts ->14.<br>
#standardFonts -> 20.<br>
#largeFonts -> 28.<br>
#veryLargeFonts -> 40.<br>
#hugeFonts -> 56} asDictionary`<br>
</p>
<p><br>
</p>
<p>I wonder the use case of 7 points font size.<br>
</p>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>