Ticket #3929: style.patch

src/html/style.js

@@ -68 +68 @@
                         node.className = cs;
                 }else if(node.setAttribute){
                         node.setAttribute("class", classStr);
-                        node.className = cs;
+                        // try to also set the node className directly, redundantly?
+                        try { node.className = cs; } catch (e) { }
                 }else{
                         return false;
                 }