From e0f428b9b2374487a0758ea80716f337e3c643ff Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@osmosoft.com>
Date: Sat, 4 Jan 2014 15:15:12 +0000
Subject: [PATCH] Fixed problem with Element.ELEMENT_NODE undefined on Safari

---
 core/modules/utils/dom/browser.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/modules/utils/dom/browser.js b/core/modules/utils/dom/browser.js
index ea9db2a16..0ce5462c0 100644
--- a/core/modules/utils/dom/browser.js
+++ b/core/modules/utils/dom/browser.js
@@ -18,7 +18,7 @@ Set style properties of an element
 	styles: ordered array of {name: value} pairs
 */
 exports.setStyle = function(element,styles) {
-	if(element.nodeType === Element.ELEMENT_NODE) {
+	if(element.nodeType === 1) { // Element.ELEMENT_NODE
 		for(var t=0; t<styles.length; t++) {
 			for(var styleName in styles[t]) {
 				element.style[$tw.utils.convertStyleNameToPropertyName(styleName)] = styles[t][styleName];