save file

Author: javascript-2020

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

@@ -8,7 +8,9 @@
             <style>
 
   :host
-    {display:flex;flex-direction:column;gap:5px}
+    {display:flex;flex-direction:column;gap:5px;
+      --val:14px;
+    }
 
 
   #hdr
@@ -40,9 +42,9 @@
   .fn .indent
     {}
   .fn .name
-    {font-weight:bold;flex-shrink: 0;}
+    {font-weight:bold;flex-shrink:0}
   .fn .args
-    {flex-shrink: 0;}
+    {flex-shrink:0;font-size:var(--val)}
 
   .label
     {}
@@ -56,9 +58,9 @@
   .html .name
     {font-weight:bold;flex-shrink: 0;}
   .html .id
-    {color:blue;flex-shrink:0}
+    {color:blue;flex-shrink:0;font-size:var(--val)}
   .html .class
-    {flex-shrink:0;color:green}
+    {flex-shrink:0;color:green;font-size:var(--val)}
 
 
   .icon