diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-07-11 00:33:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-11 00:33:50 +0200 |
| commit | 582bec4dcfc29ce4859ff3f5d6905d108449dab2 (patch) | |
| tree | 62e1fbd40ddda67eb3d0e04f313501407b9f198f | |
| parent | 16d0d0b7f177e2df55684c1a810ea25d4b6dcd50 (diff) | |
| parent | 2f3624ccb6c7185306606098110dc91cdccc3b2e (diff) | |
| download | rust-582bec4dcfc29ce4859ff3f5d6905d108449dab2.tar.gz rust-582bec4dcfc29ce4859ff3f5d6905d108449dab2.zip | |
Rollup merge of #99114 - GuillaumeGomez:css-cleanup, r=Dylan-DPC
Group .test-arrow CSS rules and fix rgb/rgba property Surprisingly, the web browsers were handling the `rgb`/`rgba` typo correctly. At least it now is as expected. For the rest, it's simply grouping `.test-arrow` rules. r? ``@Dylan-DPC``
| -rw-r--r-- | src/librustdoc/html/static/css/themes/dark.css | 4 | ||||
| -rw-r--r-- | src/librustdoc/html/static/css/themes/light.css | 6 |
2 files changed, 3 insertions, 7 deletions
diff --git a/src/librustdoc/html/static/css/themes/dark.css b/src/librustdoc/html/static/css/themes/dark.css index a678ec1e1c1..184d0e77a90 100644 --- a/src/librustdoc/html/static/css/themes/dark.css +++ b/src/librustdoc/html/static/css/themes/dark.css @@ -178,9 +178,6 @@ a { color: #D2991D; } -a.test-arrow { - color: #dedede; -} body.source .example-wrap pre.rust a { background: #333; } @@ -255,6 +252,7 @@ pre.rust .question-mark { } a.test-arrow { + color: #dedede; background-color: rgba(78, 139, 202, 0.2); } diff --git a/src/librustdoc/html/static/css/themes/light.css b/src/librustdoc/html/static/css/themes/light.css index e8770ac2124..c6ba13fe1d6 100644 --- a/src/librustdoc/html/static/css/themes/light.css +++ b/src/librustdoc/html/static/css/themes/light.css @@ -175,9 +175,6 @@ a { color: #3873AD; } -a.test-arrow { - color: #f5f5f5; -} body.source .example-wrap pre.rust a { background: #eee; } @@ -239,7 +236,8 @@ pre.rust .question-mark { } a.test-arrow { - background-color: rgb(78, 139, 202, 0.2); + color: #f5f5f5; + background-color: rgba(78, 139, 202, 0.2); } a.test-arrow:hover{ |