// JavaScript Document
var cookie = readCookie("hrdpstyle");
var title = cookie ? cookie : getPreferredStyleSheet();		
if (title == null || title.indexOf(" ie") != -1) {
	setActiveStyleSheet(standardCSS);
} else {
	setActiveStyleSheet(title);
}