jQuery("document").ready(function() { 
	if (BrowserDetect.browser == "Explorer") {
		jQuery("[id^=gview_match]").css("font-size","11pt");
		jQuery("[id^=gbox_lrange]").css("font-size","11pt");
	}

});