save file

javascript-2020 · javascript-2020 · commit 014edd29794f · 2026-05-12T14:54:47.000+01:00
diff --git a/utils/misc/nodejs-terminal/html/terminal-tabs/terminal-tabs.html b/utils/misc/nodejs-terminal/html/terminal-tabs/terminal-tabs.html
@@ -22,7 +22,7 @@
       }
       
   .tab
-    {border-top-left:5px;border-top-right:5px;border-style:solid;border-width:1px;padding:5px 10px;cursor:pointer}
+    {border-top-left-radius:5px;border-top-right-radius:5px;border-style:solid;border-width:1px;padding:5px 10px;cursor:pointer}
     
   #hldr
     {flex:1;padding:10px;border:2px solid lightgray;box-sizing:border-box;flex:1;background:hsl(45,86%,98%)}

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@`
`22`	`22`	`}`
`23`	`23`
`24`	`24`	`.tab`
`25`		`- {border-top-left:5px;border-top-right:5px;border-style:solid;border-width:1px;padding:5px 10px;cursor:pointer}`
	`25`	`+ {border-top-left-radius:5px;border-top-right-radius:5px;border-style:solid;border-width:1px;padding:5px 10px;cursor:pointer}`
`26`	`26`
`27`	`27`	`#hldr`
`28`	`28`	`{flex:1;padding:10px;border:2px solid lightgray;box-sizing:border-box;flex:1;background:hsl(45,86%,98%)}`