On Sat, Jul 5, 2008 at 5:18 PM, Anton Kerezov &lt;<a href="mailto:ankere@gmail.com">ankere@gmail.com</a>&gt; wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div class="Wj3C7c"><br>
</div></div>I think that we should definitely use this fonts because they will make<br>
the user feel the difference between old and new and because they save<br>
more space on the screen and look more organised.<br>
</blockquote></div><br>Ubuntu uses 10pt fonts by default, whereas Windows uses 9pt, for example. Usually the first change I make is to reduce the system font sizes (and hinting), to conserve more screen space (as my laptop is limited to 1024x768, and GNOME seems to have a lot of widget &quot;whitespace&quot;). Having the default font size at 9pt would be an excellent change, with new or old fonts.<br>