diff options
| author | Michael Goulet <michael@errs.io> | 2023-08-04 19:47:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-04 19:47:38 -0700 |
| commit | a7f0900a2ade52564e6176acd6a3d49343140b09 (patch) | |
| tree | ebc5da7e75e68bfb35907ca60fc186633ce4d3e7 /src | |
| parent | 097a49867c87eb59eb3f4097328ce5fbeb378335 (diff) | |
| parent | 85ed2feb67556c3cece64aacc5abaf35ecfed93a (diff) | |
| download | rust-a7f0900a2ade52564e6176acd6a3d49343140b09.tar.gz rust-a7f0900a2ade52564e6176acd6a3d49343140b09.zip | |
Rollup merge of #114475 - GuillaumeGomez:migrate-gui-test-color-27, r=notriddle
Migrate GUI colors test to original CSS color format Follow-up of https://github.com/rust-lang/rust/pull/111459. r? `@notriddle`
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/css/themes/dark.css | 2 | ||||
| -rw-r--r-- | src/librustdoc/html/static/css/themes/light.css | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/css/themes/dark.css b/src/librustdoc/html/static/css/themes/dark.css index b653f61d536..2b302988734 100644 --- a/src/librustdoc/html/static/css/themes/dark.css +++ b/src/librustdoc/html/static/css/themes/dark.css @@ -68,7 +68,7 @@ --test-arrow-color: #dedede; --test-arrow-background-color: rgba(78, 139, 202, 0.2); --test-arrow-hover-color: #dedede; - --test-arrow-hover-background-color: #4e8bca; + --test-arrow-hover-background-color: rgb(78, 139, 202); --target-background-color: #494a3d; --target-border-color: #bb7410; --kbd-color: #000; diff --git a/src/librustdoc/html/static/css/themes/light.css b/src/librustdoc/html/static/css/themes/light.css index 6be25fc0544..56fd8cbef12 100644 --- a/src/librustdoc/html/static/css/themes/light.css +++ b/src/librustdoc/html/static/css/themes/light.css @@ -68,7 +68,7 @@ --test-arrow-color: #f5f5f5; --test-arrow-background-color: rgba(78, 139, 202, 0.2); --test-arrow-hover-color: #f5f5f5; - --test-arrow-hover-background-color: #4e8bca; + --test-arrow-hover-background-color: rgb(78, 139, 202); --target-background-color: #fdffd3; --target-border-color: #ad7c37; --kbd-color: #000; |