Is it just me, or did Twitter change the font used for the web interface?