<div dir="ltr"><div>I cant figure out what your problem is :(<br></div>I live in a terminal indeed most of the day (with Terminus font set to 9px) and can't remember to have that problem, could you attach a screenshot?<br>

<div><div><div><div class="gmail_extra"><br><div dir="ltr">-Martin</div>
</div></div></div></div></div>