add a bit of border to text boxes (#9324)

Co-authored-by: repo-ranger[bot] <39074581+repo-ranger[bot]@users.noreply.github.com>
badges · Jun 27, 2023 · 640cd56 · 640cd56
1 parent 53cce8f
commit 640cd56
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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 [email protected]