diff options
| author | bors <bors@rust-lang.org> | 2023-01-31 06:25:30 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-01-31 06:25:30 +0000 |
| commit | 7c4a9a971ca6962533bed01ffbd0c1f6b5250abc (patch) | |
| tree | 904e6bf143781822be126e176f256545da3767dd /src/librustdoc/html/static/css/themes/dark.css | |
| parent | dc3e59cb3fe05ebd752d3a2269f501c00327be22 (diff) | |
| parent | 150340bafdcd48becbe612a0d4d5631efe23621c (diff) | |
Auto merge of #107498 - JohnTitor:rollup-2i6g4uk, r=JohnTitor
Rollup of 8 pull requests Successful merges: - #107245 (Implement unsizing in the new trait solver) - #107445 (Remove `GenFuture` from core) - #107473 (Update books) - #107476 (rustdoc: remove unnecessary wrapper `div.item-decl` from HTML) - #107477 (Migrate last part of CSS themes to CSS variables) - #107479 (Use `ObligationCtxt::new_in_snapshot` in `satisfied_from_param_env`) - #107482 (rustdoc: remove meta keywords from HTML) - #107494 (fix link in std::path::Path::display()) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/css/themes/dark.css')
| -rw-r--r-- | src/librustdoc/html/static/css/themes/dark.css | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/src/librustdoc/html/static/css/themes/dark.css b/src/librustdoc/html/static/css/themes/dark.css index 3766f0daa42..b84d87c4a54 100644 --- a/src/librustdoc/html/static/css/themes/dark.css +++ b/src/librustdoc/html/static/css/themes/dark.css @@ -41,6 +41,10 @@ --search-results-alias-color: #fff; --search-results-grey-color: #ccc; --search-tab-title-count-color: #888; + --search-tab-button-not-selected-border-top-color: #252525; + --search-tab-button-not-selected-background: #252525; + --search-tab-button-selected-border-top-color: #0089ff; + --search-tab-button-selected-background: #353535; --stab-background-color: #314559; --stab-code-color: #e6e1cf; --code-highlight-kw-color: #ab8ac1; @@ -95,13 +99,3 @@ --scrape-example-code-wrapper-background-start: rgba(53, 53, 53, 1); --scrape-example-code-wrapper-background-end: rgba(53, 53, 53, 0); } - -#search-tabs > button:not(.selected) { - background-color: #252525; - border-top-color: #252525; -} - -#search-tabs > button:hover, #search-tabs > button.selected { - border-top-color: #0089ff; - background-color: #353535; -} |