if(BrowserDetect.browser == "Explorer"){
	var radius = 15;
	var settings = {
		tl: { radius: radius },
		tr: { radius: radius },
		bl: { radius: radius },
		br: { radius: radius },
		antiAlias: true
	};

	var elems = $("main").getElements("div");

	for(var i = 0; i < elems.length; i++){
		var className = elems[i].className;
	
		if(className.indexOf("HIGHLIGHT") > -1){
			elems[i].style.padding = "10px 10px 10px 20px";
		
			curvyCorners(settings, elems[i]);
		}
	}
}