From ac0bb74adb9e40a71f716d330a1245cd7e86c3eb Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Fri, 30 Dec 2022 10:43:06 -0700 Subject: [PATCH] rustdoc: merge scrape-help CSS --- src/librustdoc/html/static/css/rustdoc.css | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 9fe0dee0588..83d62c37663 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1865,9 +1865,13 @@ in storage.js font-size: 12px; position: relative; bottom: 1px; - border-width: 1px; - border-style: solid; + border: 1px solid var(--scrape-example-help-border-color); border-radius: 50px; + color: var(--scrape-example-help-color); +} +.scraped-example-list .scrape-help:hover { + border-color: var(--scrape-example-help-hover-border-color); + color: var(--scrape-example-help-hover-color); } .scraped-example { @@ -1959,14 +1963,6 @@ in storage.js .scraped-example .example-wrap .rust span.highlight.focus { background: var(--scrape-example-code-line-highlight-focus); } -.scraped-example-list .scrape-help { - border-color: var(--scrape-example-help-border-color); - color: var(--scrape-example-help-color); -} -.scraped-example-list .scrape-help:hover { - border-color: var(--scrape-example-help-hover-border-color); - color: var(--scrape-example-help-hover-color); -} .more-examples-toggle { max-width: calc(100% + 25px);