diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-05-12 14:07:23 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-08-23 00:57:28 +0200 |
| commit | 3de3b279f0e2490ed1a76f4a9abe75656a1c0dab (patch) | |
| tree | da827077eebcce6afa7ea8bf0c22e3ab82a1f070 | |
| parent | e6f9e2e6237713a59cebedc38b2cac254a544c00 (diff) | |
Go around firefox bug
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index f3dafffbb6b..0b7a8abdf09 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1001,7 +1001,13 @@ rustdoc-topbar { + var(--line-number-right-margin)); } .src .example-wrap .expansion [data-nosnippet] { - left: calc(( + /* FIXME: Once <https://bugzilla.mozilla.org/show_bug.cgi?id=1949948> is solved, uncomment + next line and remove the two other rules. */ + /*left: calc(( + var(--example-wrap-digits-count) + var(--line-number-padding) * 2 + + var(--line-number-right-margin)) * -1);*/ + position: initial; + margin-left: calc(( var(--example-wrap-digits-count) + var(--line-number-padding) * 2 + var(--line-number-right-margin)) * -1); } |