Clean-up docs style for GitHub button in mobile mode (#650)

google · Jul 20, 2024 · d1f1b9e · d1f1b9e
1 parent 011c5a7
commit d1f1b9e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -50,6 +50,7 @@ p {
   --md-default-bg-color--dark: var(--black);
   --md-default-bg-color--lighter: var(--almost-white);
   --md-primary-fg-color: rgb(248 250 252 / 1);
+  --md-primary-fg-color--dark: var(--md-primary-fg-color);
   --md-default-bg-color: var(--md-primary-fg-color);
   --md-primary-bg-color: #333;
   --md-typeset-a-color: var(--cosmic);