@@ -21,6 +21,8 @@
 
   .radio
     {border:1px solid lightgray;padding:5px 10px;border-radius:5px;cursor:pointer;display:flex;align-items:center;gap:10px}
+  .radio:disabled
+    {color:gray}
 
   #attr-btns
     {display:flex;gap:10px}
@@ -175,7 +177,7 @@
               chk['console-echo']                       = $.chkbox(shadow,'#console-echo');
 
               chk.isolate                               = $.chkbox(shadow,'#isolate');
-              chk.isolate.checked                       = window.crossOriginIsolated;
+              //chk.isolate.checked                       = window.crossOriginIsolated;
 
               var r                                     = $(shadow,'#output-type');
               chk.type                                  = $.chkbox.group(r,'#pretty-print','#console');