diff options
| author | Michael Howell <michael@notriddle.com> | 2022-11-03 12:29:17 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-11-03 12:29:17 -0700 |
| commit | f097940da8f282b6503c5f37fd449652de285578 (patch) | |
| tree | d704662ee936bc78fbee589287acb97368131f7d /src/librustdoc/html/static/css | |
| parent | 160b19429523ea44c4c3b7cad4233b2a35f58b8f (diff) | |
| download | rust-f097940da8f282b6503c5f37fd449652de285578.tar.gz rust-f097940da8f282b6503c5f37fd449652de285578.zip | |
rustdoc: clean up hardcoded CSS border color on search results
Hardcoded colors in rustdoc.css should usually be avoided.
Diffstat (limited to 'src/librustdoc/html/static/css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index d6f2b02afd8..0a9814ee28b 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -894,7 +894,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 #aaa3; + border-bottom: 1px solid var(--border-color); } .search-results > a > div { @@ -1875,7 +1875,6 @@ in storage.js /* Display an alternating layout on tablets and phones */ .search-results > a { - border-bottom: 1px solid #aaa9; padding: 5px 0px; } .search-results .result-name, .search-results div.desc { |