diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-14 10:58:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-14 10:58:48 +0100 |
| commit | 6cd8d1d4e386482941b63b5ec85465c4d2af8e57 (patch) | |
| tree | a159fc9cf4687938d74094ac57f2b85794812b6c | |
| parent | a4f70fff200a6b3df39dc3739929f0301fe4794b (diff) | |
| parent | 813584950dbdf180eae2fb64cbf009073a3c8d43 (diff) | |
| download | rust-6cd8d1d4e386482941b63b5ec85465c4d2af8e57.tar.gz rust-6cd8d1d4e386482941b63b5ec85465c4d2af8e57.zip | |
Rollup merge of #105665 - notriddle:notriddle/popover-css-merge, r=GuillaumeGomez
rustdoc: simplify popover CSS * Merge the color-changing block into the regular rules, which was probably written that way because it used to be in the theme files, but has no reason to be written this way now that it's in rustdoc.css * Get rid of redundant `display: block`, since `position: absolute` blockifies the layout anyway.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 572a5b42c7f..b926ef5c5dd 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -902,10 +902,11 @@ so that we can apply CSS-filters to change the arrow color in themes */ top: 100%; right: 0; z-index: 2; - display: block; margin-top: 7px; border-radius: 3px; border: 1px solid var(--border-color); + background-color: var(--main-background-color); + color: var(--main-color); --popover-arrow-offset: 11px; } @@ -916,16 +917,12 @@ so that we can apply CSS-filters to change the arrow color in themes */ right: var(--popover-arrow-offset); border: solid var(--border-color); border-width: 1px 1px 0 0; + background-color: var(--main-background-color); padding: 4px; transform: rotate(-45deg); top: -5px; } -.popover, .popover::before { - background-color: var(--main-background-color); - color: var(--main-color); -} - /* use larger max-width for help popover, but not for help.html */ #help.popover { max-width: 600px; |
