<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 class="gmail_quote"><div><br></div><div class="Ih2E3d"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
In daily work, when I need to reach for an application&#39;s menu, I don&#39;t want to concentrate too much, either. <br>

Therefore, using smaller fonts for the sake of saving some disk space might degrade the ubuntu user experience badly.<br></blockquote></div><div><br>What are you talking about? This has nothing to do with conserving disk space. </div>
</div></blockquote></div><br>Yes, sorry. Of course I meant _screen_ space!<br>