Now that font size is controlled via stylesheets, you should be able to use a media query to do what you’re thinking of. Unfortunately, I’m not an expert on CSS … so I don’t have any suggestions beyond that.