JavaScript doesn’t have an officially supported way of detecting fonts, but this library is a decent workaround: http://www.lalit.org/lab/javascript-css-font-detect
Using this detector, you can then use:
$(function(){
var fontDetector = new Detector();
if(fontDetector.test('Arial')){
$('body').css('font-size', '10px');
}
});
Also note that you should only change the font-size
property. If you change the font
property, you overwrite both your font size and your font families.