Replace border-top with box-shadow

msujew · msujew · commit fe22518bc1f9 · 2022-04-08T15:51:54.000+02:00
diff --git a/packages/core/src/browser/style/tabs.css b/packages/core/src/browser/style/tabs.css
@@ -82,13 +82,12 @@
     border-right: 1px solid var(--theia-tab-border);
     background: var(--theia-tab-inactiveBackground);
     color: var(--theia-tab-inactiveForeground);
-    border-top: 1px solid transparent;
 }
 
 #theia-main-content-panel .p-TabBar .p-TabBar-tab.p-mod-current {
     background: var(--theia-tab-activeBackground);
     color: var(--theia-tab-activeForeground);
-    border-top: 1px solid var(--theia-tab-activeBorderTop);
+    box-shadow: 0 1px 0 var(--theia-tab-activeBorderTop) inset;
 }
 
 #theia-main-content-panel .p-TabBar:not(.theia-tabBar-active) .p-TabBar-tab .p-TabBar-tabLabel {

Original file line number	Diff line number	Diff line change
`@@ -82,13 +82,12 @@`
`82`	`82`	`border-right: 1px solid var(--theia-tab-border);`
`83`	`83`	`background: var(--theia-tab-inactiveBackground);`
`84`	`84`	`color: var(--theia-tab-inactiveForeground);`
`85`		`- border-top: 1px solid transparent;`
`86`	`85`	`}`
`87`	`86`
`88`	`87`	`#theia-main-content-panel .p-TabBar .p-TabBar-tab.p-mod-current {`
`89`	`88`	`background: var(--theia-tab-activeBackground);`
`90`	`89`	`color: var(--theia-tab-activeForeground);`
`91`		`- border-top: 1px solid var(--theia-tab-activeBorderTop);`
	`90`	`+ box-shadow: 0 1px 0 var(--theia-tab-activeBorderTop) inset;`
`92`	`91`	`}`
`93`	`92`
`94`	`93`	`#theia-main-content-panel .p-TabBar:not(.theia-tabBar-active) .p-TabBar-tab .p-TabBar-tabLabel {`