Опа. А я незаметно для себя привык к новому шрифту, и старый мне теперь видится хуевым, хотя раньше наоборот было.