/* additional stylesheet for ie5 on mac */
if (is_mac && is_ie5) {
	document.write("<style rel=\"text/css\" media=\"screen\">@import \"css/ie5mac.css\";</style>");
}

/* additional stylesheet for safari (doesn't support colorization of textboxes...) */
if (is_mac && is_safari) {
	document.write("<style rel=\"text/css\" media=\"screen\">@import \"css/safari.css\";</style>");
}