// load css for windows
if ((navigator.userAgent.indexOf('Win') != -1)) {
	var fileref=document.createElement("link");
	fileref.setAttribute("rel", "stylesheet");
	fileref.setAttribute("type", "text/css");
	fileref.setAttribute("href", "./css/win.css");
	document.getElementsByTagName("head")[0].appendChild(fileref);
}