save file

Author: javascript-2020

utils/editors/html/code-explorer/v1.0/code-explorer-v1.0.html

@@ -59,6 +59,8 @@
     {}
   .html .name
     {font-weight:bold;flex-shrink:0;border-right:1px solid lightgray}
+  .html .v
+    {flex-shrink:0}
   .html .id
     {color:blue;flex-shrink:0;font-size:var(--val)}
   .html .class