save file

Author: javascript-2020

utils/editors/js-console/html/output-console/v3.0/output-console-v3.0.html

@@ -26,13 +26,7 @@
     {margin-right:20px;/*color:gray*/}
 
 
-    
-  .ext-button
-    {border:1px solid lightgray;padding:2px 5px;cursor:pointer;display:flex;align-items:center;margin-right:10px}
-  .ext-button [type=checkbox]
-    {margin:0;margin-left:5px;cursor:pointer}
-    
-  button
+  #kill
     {font-size:16px;padding:5px 10px;min-width:60px}
 
   #output