<div dir="ltr"><div class="gmail_default" style="font-family:trebuchet ms,sans-serif">I sometimes notice that the typeface in the console changes as a file is being processed by TeXShop. What does this signify, if anything?</div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif"><br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif">Alan</div></div>