Fix removed CSS variable for border color

blakegearin · blakegearin · commit 3fc326ec38e9 · 2025-03-03T23:01:12.000-07:00
diff --git a/src/github-custom-global-navigation.user.js b/src/github-custom-global-navigation.user.js
@@ -1439,7 +1439,7 @@
         ${SELECTORS.header.localBar.topDiv}
         {
           background-color: ${elementConfig.backgroundColor} !important;
-          box-shadow: inset 0 calc(var(--borderWidth-thin, 1px)*-1) var(--color-border-default) !important;
+          box-shadow: inset 0 calc(var(--borderWidth-thin, 1px)*-1) var(--borderColor-muted) !important;
         }
       `;
     }

Original file line number	Diff line number	Diff line change
`@@ -1439,7 +1439,7 @@`
`1439`	`1439`	`${SELECTORS.header.localBar.topDiv}`
`1440`	`1440`	`{`
`1441`	`1441`	`background-color: ${elementConfig.backgroundColor} !important;`
`1442`		`- box-shadow: inset 0 calc(var(--borderWidth-thin, 1px)*-1) var(--color-border-default) !important;`
	`1442`	`+ box-shadow: inset 0 calc(var(--borderWidth-thin, 1px)*-1) var(--borderColor-muted) !important;`
`1443`	`1443`	`}`
`1444`	`1444`	`;
`1445`	`1445`	`}`