}
// now we are dealing with non-print styles...
-
- var ar = document.styleSheets[ss].rules;
+ try {
+ var ar = document.styleSheets[ss].rules;
+ } catch(e) {
+ console.log("could not access stylesheet:" + ss);
+ continue;
+ }
if (!ar) {
del.push(node);
continue;