style: sync GitHub Corner colors

hamirmahal · hamirmahal · commit 30ee7af2cae7 · 2024-02-25T12:54:46.000-08:00
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
@@ -605,8 +605,8 @@ <h2 class="panel-title">
                 }
             }
             .github-corner svg {
-                fill: var(--theme-background-color);
-                color: var(--theme-foreground-color);
+                fill: var(--fg);
+                color: var(--bg);
             }
             .github-corner:hover .octo-arm {
                 animation: octocat-wave 560ms ease-in-out;

Original file line number	Diff line number	Diff line change
`@@ -605,8 +605,8 @@ <h2 class="panel-title">`
`605`	`605`	`}`
`606`	`606`	`}`
`607`	`607`	`.github-corner svg {`
`608`		`- fill: var(--theme-background-color);`
`609`		`- color: var(--theme-foreground-color);`
	`608`	`+ fill: var(--fg);`
	`609`	`+ color: var(--bg);`
`610`	`610`	`}`
`611`	`611`	`.github-corner:hover .octo-arm {`
`612`	`612`	`animation: octocat-wave 560ms ease-in-out;`