<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 25 September 2014 09:04, Andreas Abel <span dir="ltr">&lt;<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Does not work for me either (I am on ubuntu 12.04).</blockquote></div><br></div><div class="gmail_extra">It works for me on Ubuntu 12.04. My default font is &quot;10x20&quot;.<br></div><div class="gmail_extra"><br>-- <br><div dir="ltr">AndrĂ©s<br></div>
</div></div>