mirror of
https://github.com/rust-lang/rust
synced 2024-10-04 15:50:51 +00:00
rustdoc: remove unnecessary .search-results { padding-bottom }
There's nothing underneath it anyway. The conversation on
b615c0c854
never really spelled out why it
was added.
This commit is contained in:
parent
9565dfeb4e
commit
a3c56e0428
|
@ -878,7 +878,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
|
|||
|
||||
.search-results {
|
||||
display: none;
|
||||
padding-bottom: 2em;
|
||||
}
|
||||
|
||||
.search-results.active {
|
||||
|
|
Loading…
Reference in a new issue