why do devs still use 12pt arial as their default font? it's 2023, folks. we have better options.