Maybe I should get into the habit of doing that, then. I've only ever felt the need to do it for one site before (Daring Fireball which uses an unbelievable 11px font!), and I've been put off in the past by the inferior behaviour of zoom as opposed to text size (which now seems to not even be available in Chrome). Minimum font size would be a good workaround if it didn't apply to the developer console, which is pretty crazy.