<div dir="ltr"><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 class="im"><br>
<br>
</div>This has something to do with the way LaTeX loads fonts, which I have<br>
absolutely no idea about.<br>
</blockquote><div><br>Hans fixed that. <br></div></div><br></div>