Fix dark theme dropdown colours

MiniZinc · Jun 28, 2023 · ace75b0 · ace75b0
1 parent e643b94
commit ace75b0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/style.scss b/src/style.scss
@@ -34,6 +34,9 @@ $pre-code-font-size: 1em;
     $label-color: hsl(0, 0%, 71%);
     $input-background-color: hsl(0, 0%, 12%);
     $button-background-color: hsl(0, 0%, 12%);
+    $dropdown-item-hover-color: $text;
+    $dropdown-item-hover-background-color: hsl(0, 0%, 12%);
+    $dropdown-item-active-color: $text-strong;
 
     $tag-background-color: hsl(0, 0%, 96%);