Auto merge of #106121 - RalfJung:miri, r=RalfJung

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

diff --git a/src/librustdoc/html/static/css/themes/ayu.css b/src/librustdoc/html/static/css/themes/ayu.css
index ce416f77afe903388096c01011716dc71d822829..4ffc25e2688e4d02bb3285cac4febe8edea19694 100644 (file)
--- a/src/librustdoc/html/static/css/themes/ayu.css
+++ b/src/librustdoc/html/static/css/themes/ayu.css
@@ -62,7 +62,6 @@ Original by Dempfi (https://github.com/dempfi/ayu)
        --code-highlight-question-mark-color: #ff9011;
        --code-highlight-comment-color: #788797;
        --code-highlight-doc-comment-color: #a1ac88;
-       --example-line-numbers-border-color: none;
        --src-line-numbers-span-color: #5c6773;
        --src-line-number-highlighted-background-color: rgba(255, 236, 164, 0.06);
        --test-arrow-color: #788797;
@@ -90,6 +89,8 @@ Original by Dempfi (https://github.com/dempfi/ayu)
        --source-sidebar-background-hover: #14191f;
        --table-alt-row-background-color: #191f26;
        --codeblock-link-background: #333;
+       --scrape-example-toggle-line-background: #999;
+       --scrape-example-toggle-line-hover-background: #c5c5c5;
 }
 
 h1, h2, h3, h4 {
@@ -132,7 +133,7 @@ pre, .rustdoc.source .example-wrap {
 
 .src-line-numbers .line-highlighted {
        color: #708090;
-       padding-right: 4px;
+       padding-right: 7px;
        border-right: 1px solid #ffb44c;
 }
 
@@ -221,9 +222,3 @@ pre.rust .kw-2, pre.rust .prelude-ty {}
 .scraped-example:not(.expanded) .code-wrapper::after {
        background: linear-gradient(to top, rgba(15, 20, 25, 1), rgba(15, 20, 25, 0));
 }
-.toggle-line-inner {
-       background: #999;
-}
-.toggle-line:hover .toggle-line-inner {
-       background: #c5c5c5;
-}