From 640cd5643e99b8dd314404669248fc90348e4dad Mon Sep 17 00:00:00 2001
From: chris48s <chris48s@users.noreply.github.com>
Date: Tue, 27 Jun 2023 20:58:31 +0100
Subject: [PATCH] add a bit of border to text boxes (#9324)

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

diff --git a/frontend/src/css/custom.css b/frontend/src/css/custom.css
index 18f7eb4368..f914c7dc67 100644
--- a/frontend/src/css/custom.css
+++ b/frontend/src/css/custom.css
@@ -31,6 +31,12 @@ html[data-theme="dark"] .docusaurus-highlight-code-line {
   color-scheme: initial;
 }
 
+input[type="text"] {
+  border-color: var(--ifm-color-primary-lightest);
+  border-style: solid;
+  border-width: 1px;
+}
+
 /*
 TODO: remove these two styles when
 we can upgrade to docusaurus-theme-openapi@0.6.5