var newStrokeWidth = style.strokeWidth * this.getResolution(); node.setAttributeNS(null, "stroke-width", newStrokeWidth); 
node.setAttributeNS(null, "stroke-width", style.strokeWidth); 
    setStyle: function(node, style, options) {        style = style  || node.olStyle;        options = options || node.olOptions;        if (node.geometry.CLASS_NAME == "OpenLayers.Geometry.Point") {            var newRadius = style.pointRadius * this.getResolution();            node.setAttributeNS(null, "r", newRadius);        }                if (options.isFilled) {            node.setAttributeNS(null, "fill", style.fillColor);            node.setAttributeNS(null, "fill-opacity", style.fillOpacity);        } else {            node.setAttributeNS(null, "fill", "none");        }        if (options.isStroked) {            node.setAttributeNS(null, "stroke", style.strokeColor);            node.setAttributeNS(null, "stroke-opacity", style.strokeOpacity);            var newStrokeWidth = style.strokeWidth * this.getResolution();             node.setAttributeNS(null, "stroke-width", newStrokeWidth);        } else {            node.setAttributeNS(null, "stroke", "none");        }                if (style.pointerEvents) {            node.setAttributeNS(null, "pointer-events", style.pointerEvents);        }    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/7e8605bf0dfb6ebb53699f4453e8c46383fd827f/SVG.js/buggy/lib/OpenLayers/Renderer/SVG.js