From 9fafb3110cb2e9e0629146689d8f66629ddf9024 Mon Sep 17 00:00:00 2001
From: chris48s <chris48s@users.noreply.github.com>
Date: Mon, 3 Jul 2023 18:09:24 +0100
Subject: [PATCH] add a bit of border to select boxes (#9348)

Co-authored-by: repo-ranger[bot] <39074581+repo-ranger[bot]@users.noreply.github.com>
---
 frontend/src/css/custom.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/src/css/custom.css b/frontend/src/css/custom.css
index f914c7dc67..bf4e0384a3 100644
--- a/frontend/src/css/custom.css
+++ b/frontend/src/css/custom.css
@@ -31,7 +31,7 @@ html[data-theme="dark"] .docusaurus-highlight-code-line {
   color-scheme: initial;
 }
 
-input[type="text"] {
+input[type="text"], :not(#fakeID#fakeId#fakeID) select {
   border-color: var(--ifm-color-primary-lightest);
   border-style: solid;
   border-width: 1px;