Skip to content

Commit 0f8b3f4

Browse files
Fix display of search crate filter select
1 parent 5601044 commit 0f8b3f4

File tree

4 files changed

+7
-7
lines changed

4 files changed

+7
-7
lines changed

src/librustdoc/html/static/css/rustdoc.css

+1-2
Original file line numberDiff line numberDiff line change
@@ -897,7 +897,7 @@ table,
897897
margin-left: 0.25em;
898898
padding-left: 0.3125em;
899899
padding-right: 23px;
900-
border: 0;
900+
border: 1px solid;
901901
border-radius: 4px;
902902
outline: none;
903903
cursor: pointer;
@@ -2010,7 +2010,6 @@ details.rustdoc-toggle[open] > summary.hideme::after {
20102010

20112011
#crate-search {
20122012
border-radius: 4px;
2013-
border: 0;
20142013
}
20152014

20162015
.docblock {

src/librustdoc/html/static/css/themes/ayu.css

+2-2
Original file line numberDiff line numberDiff line change
@@ -236,8 +236,8 @@ details.undocumented > summary::before {
236236

237237
#crate-search, .search-input {
238238
background-color: #141920;
239-
border-color: #424c57;
240-
color: #c5c5c5;
239+
/* Without the `!important`, the border-color is ignored for `<select>`... */
240+
border-color: #424c57 !important;
241241
}
242242

243243
.search-input {

src/librustdoc/html/static/css/themes/dark.css

+2-1
Original file line numberDiff line numberDiff line change
@@ -217,7 +217,8 @@ details.undocumented > summary::before {
217217
#crate-search, .search-input {
218218
color: #111;
219219
background-color: #f0f0f0;
220-
border-color: #000;
220+
/* Without the `!important`, the border-color is ignored for `<select>`... */
221+
border-color: #f0f0f0 !important;
221222
}
222223

223224
.search-input {

src/librustdoc/html/static/css/themes/light.css

+2-2
Original file line numberDiff line numberDiff line change
@@ -209,9 +209,9 @@ details.undocumented > summary::before {
209209
}
210210

211211
#crate-search, .search-input {
212-
color: #555;
213212
background-color: white;
214-
border-color: #e0e0e0;
213+
/* Without the `!important`, the border-color is ignored for `<select>`... */
214+
border-color: #e0e0e0 !important;
215215
}
216216

217217
.search-input:focus {

0 commit comments

Comments
 (0)