save file

Author: javascript-2020

utils/editors/text-diff/v2.0/text-diff-v2.0.html

@@ -195,13 +195,13 @@
 
 
   #main
-    {display:flex;flex:1;margin:5px 0}
+    {display:flex;flex:1;margin:5px 0;gap:10px}
 
   #view1
-    {flex:1;display:flex;flex-direction:column;border:1px solid var(--green)}
+    {flex:1;display:flex;flex-direction:column;border:1px solid var(--green);padding:5px}
 
   #view2
-    {flex:1;display:flex;flex-direction:column;border:1px solid var(--red)}
+    {flex:1;display:flex;flex-direction:column;border:1px solid var(--red);padding:5px}
 
 
   #hdr
@@ -211,10 +211,15 @@
     {flex:1;text-align-center}
 
   web-editor
-    {flex:1;border-top:1px solid lightgray}
+    {flex:1}
 
   #output
-    {flex:1;border:1px solid lightgray;overflow:auto;margin:0}
+    {border:1px solid lightgray;padding:5px}
+
+/*    
+  #output-hldr
+    {flex:1;border:1px solid lightgray;overflow:auto;margin:0;padding:5px;box-sizing:border-box}
+*/    
 
 
   .red
@@ -260,9 +265,12 @@
                   </div>
             </div>
 
-            <div id=output>
-                  <web-editor id=output component v2.0></web-editor>
+                  <web-editor id=output component></web-editor>
+            <!--
+            <div id=output-hldr>
+                  <web-editor id=output component></web-editor>
             </div>
+            -->
 
 
             <log-mod component></log-mod>