No font changes recently. At least no intentional ones. We do use system fonts for comments in-particular, so they differ depending on your exact setup and operating system.
No font changes recently. At least no intentional ones. We do use system fonts for comments in-particular, so they differ depending on your exact setup and operating system.