Fix repo header padding

blakegearin · blakegearin · commit 2172956b99e1 · 2025-04-24T01:56:24.000-06:00
diff --git a/src/github-custom-global-navigation.user.js b/src/github-custom-global-navigation.user.js
@@ -1913,7 +1913,8 @@
 
     insertNewGlobalBar(topRepositoryHeaderElement);
 
-    clonedRepositoryHeader.firstElementChild.classList.remove('container-xl', 'px-lg-5');
+    clonedRepositoryHeader.firstElementChild.classList.remove('container-xl', 'px-lg-5', 'px-3');
+    topRepositoryHeaderElement.style.setProperty('padding', '0 var(--base-size-16, var(--base-size-16))', 'important');
 
     NEW_ELEMENTS.push(clonedRepositoryHeader);
   }

Original file line number	Diff line number	Diff line change
`@@ -1913,7 +1913,8 @@`
`1913`	`1913`
`1914`	`1914`	`insertNewGlobalBar(topRepositoryHeaderElement);`
`1915`	`1915`
`1916`		`- clonedRepositoryHeader.firstElementChild.classList.remove('container-xl', 'px-lg-5');`
	`1916`	`+ clonedRepositoryHeader.firstElementChild.classList.remove('container-xl', 'px-lg-5', 'px-3');`
	`1917`	`+ topRepositoryHeaderElement.style.setProperty('padding', '0 var(--base-size-16, var(--base-size-16))', 'important');`
`1917`	`1918`
`1918`	`1919`	`NEW_ELEMENTS.push(clonedRepositoryHeader);`
`1919`	`1920`	`}`