Adjusted doc stylesheets for a responsive experience

rjdbcm · Aug 21, 2021 · d913dd4 · d913dd4
1 parent fbc2fe6
commit d913dd4
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 1 deletion.
diff --git a/docs/_static/css/dark.css b/docs/_static/css/dark.css
@@ -1232,7 +1232,7 @@
     }
 
     .wy-side-nav-search input[type="text"] {
-        border-color: rgb(35, 111, 160);
+        border-color: #181a1b;
     }
 
     .wy-side-nav-search img {

diff --git a/docs/_static/css/styles.css b/docs/_static/css/styles.css
@@ -16,6 +16,28 @@ a img.logo {
   pointer-events: none;
 }
 
+.wy-side-nav-search input[type=text] {
+    width:90%;
+    border-radius:20px;
+    padding:6px 12px;
+    border-color:#181a1b
+}
+
+.wy-side-nav-search {
+    text-align: -moz-center;
+}
+
+#rtd-search-form:hover {
+    border: 1.5px solid #b2aba1;
+}
+
+#rtd-search-form {
+    width: 80% !important;
+    border-radius: 20px;
+    background-color: #181a1b;
+    background-radius : 20px;
+}
+
 .toggle .header {
     display: inline;
     cursor: pointer;