A change of typeface: Microsoft’s new default font has arrived