@idangazit Yes, it is. I use it at 12pt. 14 was too big and the antialiasing at 13pt makes it a bit blurry.