in JSDOMParser.js [861:877]
getStyle(styleName) {
var attr = this.node.getAttribute("style");
if (!attr) {
return undefined;
}
var styles = attr.split(";");
for (var i = 0; i < styles.length; i++) {
var style = styles[i].split(":");
var name = style[0].trim();
if (name === styleName) {
return style[1].trim();
}
}
return undefined;
},