wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use margin to position comment marker to avoid Chrome bug

Browse source 
Bug: T317135
Change-Id: I627d92fabaa9d9e477279041d3c40a7c6bfe37c8
This commit is contained in:
Ed Sanders 2022-09-14 10:01:53 +02:00
parent 93713ffab4
commit 39502b4f9a
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/dt.init.less
View file

@ -4,9 +4,10 @@
span[ data-mw-comment-start ] { span[ data-mw-comment-start ] {
// Give comment anchors a negative offset so we don't position // Give comment anchors a negative offset so we don't position
// them right at the edge of the page when jumping to them // them right at the edge of the page when jumping to them.
position: relative; // Use margin rather than position to avoid Chrome bug (T317135).
top: -1em; position: absolute;
margin-top: -1em;
} }
// stylelint-disable-next-line selector-list-comma-newline-after // stylelint-disable-next-line selector-list-comma-newline-after