diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-11-05 18:06:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-05 18:06:07 +0100 |
| commit | e51e4a4ecf6c0b60bac71ac310b773c057e2cd1a (patch) | |
| tree | 95bc243b8344a6f4efdccc70d7658bfa2974fcff /src/librustdoc/html/static/css/rustdoc.css | |
| parent | cf2d88db3840dd46bb6897978a3adc421769d5f9 (diff) | |
| parent | 666873b1bb0b7c6663e9be7fc012c5467d873ae3 (diff) | |
| download | rust-e51e4a4ecf6c0b60bac71ac310b773c057e2cd1a.tar.gz rust-e51e4a4ecf6c0b60bac71ac310b773c057e2cd1a.zip | |
Rollup merge of #103988 - GuillaumeGomez:fix-bottom-border-color, r=notriddle
Fix search result bottom border color It reverts a color change while keeping the improvement made in #103938. I think it'll need to be backported once merged too. r? `@notriddle`
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 61a50a9bd13..9ee926e1ab0 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -886,7 +886,7 @@ so that we can apply CSS-filters to change the arrow color in themes */ /* A little margin ensures the browser's outlining of focused links has room to display. */ margin-left: 2px; margin-right: 2px; - border-bottom: 1px solid var(--border-color); + border-bottom: 1px solid var(--search-result-border-color); gap: 1em; } |