Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr

[rust.git] / src / librustdoc / html / static / css / themes / dark.css

diff --git a/src/librustdoc/html/static/css/themes/dark.css b/src/librustdoc/html/static/css/themes/dark.css
index a9d956e227cc19772ce781ef297fbc15ae9a43d6..1fcda22b6f4fa8027ec92178f4d653cf71080f6d 100644 (file)
--- a/src/librustdoc/html/static/css/themes/dark.css
+++ b/src/librustdoc/html/static/css/themes/dark.css
@@ -9,6 +9,8 @@
        --scrollbar-thumb-background-color: rgba(32, 34, 37, .6);
        --scrollbar-color: rgba(32,34,37,.6) #5a5a5a;
        --headings-border-bottom-color: #d2d2d2;
+       --border-color: #e0e0e0;
+       --button-background-color: #f0f0f0;
 }
 
 .slider {
@@ -21,10 +23,6 @@ input:focus + .slider {
        box-shadow: 0 0 0 2px #0a84ff, 0 0 0 6px rgba(10, 132, 255, 0.3);
 }
 
-.in-band {
-       background-color: #353535;
-}
-
 .rust-logo {
        filter: drop-shadow(1px 0 0px #fff)
                drop-shadow(0 1px 0 #fff)
@@ -42,10 +40,6 @@ input:focus + .slider {
        background-color: #0a042f !important;
 }
 
-.docblock table td, .docblock table th {
-       border-color: #ddd;
-}
-
 .search-results a:hover {
        background-color: #777;
 }
@@ -127,14 +121,6 @@ a.result-keyword:focus { background-color: #884719; }
 pre.rust .comment { color: #8d8d8b; }
 pre.rust .doccomment { color: #8ca375; }
 
-nav.main .current {
-       border-top-color: #eee;
-       border-bottom-color: #eee;
-}
-nav.main .separator {
-       border-color: #eee;
-}
-
 a {
        color: #D2991D;
 }
@@ -152,21 +138,20 @@ details.rustdoc-toggle > summary::before {
        filter: invert(100%);
 }
 
-#crate-search, .search-input {
+.search-input {
        color: #111;
-       background-color: #f0f0f0;
        border-color: #f0f0f0;
 }
 
-#crate-search {
-       /* Without the `!important`, the border-color is ignored for `<select>`...
-          It cannot be in the group above because `.search-input` has a different border color on
-          hover. */
-       border-color: #f0f0f0 !important;
+#crate-search-div::after {
+       /* match border-color; uses https://codepen.io/sosuke/pen/Pjoqqp */
+       filter: invert(94%) sepia(0%) saturate(721%) hue-rotate(255deg) brightness(90%) contrast(90%);
 }
-
-.search-input {
-       border-color: #e0e0e0;
+#crate-search:hover, #crate-search:focus {
+       border-color: #2196f3 !important;
+}
+#crate-search-div:hover::after, #crate-search-div:focus-within::after {
+       filter: invert(69%) sepia(60%) saturate(6613%) hue-rotate(184deg) brightness(100%) contrast(91%);
 }
 
 .search-input:focus {
@@ -192,7 +177,7 @@ pre.rust .kw { color: #ab8ac1; }
 pre.rust .kw-2, pre.rust .prelude-ty { color: #769acb; }
 pre.rust .number, pre.rust .string { color: #83a300; }
 pre.rust .self, pre.rust .bool-val, pre.rust .prelude-val,
-pre.rust .attribute, pre.rust .attribute .ident { color: #ee6868; }
+pre.rust .attribute { color: #ee6868; }
 pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
 pre.rust .lifetime { color: #d97f26; }
 pre.rust .question-mark {
@@ -286,11 +271,6 @@ pre.ignore:hover, .information:hover + pre.ignore {
 
 .notable-traits-tooltiptext {
        background-color: #111;
-       border-color: #777;
-}
-
-.notable-traits-tooltiptext .notable {
-       border-bottom-color: #d2d2d2;
 }
 
 #titles > button:not(.selected) {
@@ -307,23 +287,13 @@ pre.ignore:hover, .information:hover + pre.ignore {
        color: #888;
 }
 
-@media (max-width: 700px) {
-       .sidebar-elems {
-               border-right-color: #000;
-       }
-}
-
 kbd {
        color: #000;
        background-color: #fafbfc;
-       border-color: #d1d5da;
-       border-bottom-color: #c6cbd1;
        box-shadow: inset 0 -1px 0 #c6cbd1;
 }
 
 #settings-menu > a, #help-button > button {
-       border-color: #e0e0e0;
-       background: #f0f0f0;
        color: #000;
 }
 
@@ -332,11 +302,6 @@ kbd {
        border-color: #ffb900;
 }
 
-.popover, .popover::before,
-#help-button span.top, #help-button span.bottom {
-       border-color: #d2d2d2;
-}
-
 #copy-path {
        color: #999;
 }
@@ -347,19 +312,6 @@ kbd {
        filter: invert(65%);
 }
 
-#theme-choices {
-       border-color: #e0e0e0;
-       background-color: #353535;
-}
-
-#theme-choices > button:not(:first-child) {
-       border-top-color: #e0e0e0;
-}
-
-#theme-choices > button:hover, #theme-choices > button:focus {
-       background-color: #4e4e4e;
-}
-
 .search-results .result-name span.alias {
        color: #fff;
 }
@@ -367,9 +319,6 @@ kbd {
        color: #ccc;
 }
 
-#source-sidebar > .title {
-       border-bottom-color: #ccc;
-}
 #source-sidebar div.files > a:hover, details.dir-entry summary:hover,
 #source-sidebar div.files > a:focus, details.dir-entry summary:focus {
        background-color: #444;