rem: styleLink.href = window.location.pathname.replace(/[^\/]+$/, "selenium-test.css"); 
add: styleLink.href = window.location.pathname.replace(/[^\/\\]+$/, "selenium-test.css"); 
context:     _attachStylesheet: function() {        var d = this.getDocument();        var head = d.getElementsByTagName('head').item(0);        var styleLink = d.createElement("link");        styleLink.rel = "stylesheet";        styleLink.type = "text/css";        styleLink.href = window.location.pathname.replace(/[^\/]+$/, "selenium-test.css");        head.appendChild(styleLink);    },
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/da58a09882bc7ce6eb7f18c4a4e4a434ef295cd4/selenium-testrunner.js/clean/code/javascript/core/scripts/selenium-testrunner.js