rem: function stylesheetSwitch(forDocument, title) { docStyleSheets = forDocument.styleSheets; numSS = docStyleSheets.length; 
add: function stylesheetSwitch(forDocument, title) { var docStyleSheets = forDocument.styleSheets; 
context: function stylesheetSwitch(forDocument, title) {  docStyleSheets = forDocument.styleSheets;  numSS = docStyleSheets.length;  for (i=0; i<numSS; i++) {    docStyleSheet = docStyleSheets[i];    if (docStyleSheet.title == "") {      if (docStyleSheet.disabled == true)        docStyleSheet.disabled = false;      continue;    }    docStyleSheet.disabled = (title != docStyleSheet.title);  }     }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92cdde73d6c5437e6043c71e16e0f4952ccabb2e/navigator.js/buggy/xpfe/browser/resources/content/navigator.js