save file

Author: javascript-2020

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

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