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

Merge "Use margin to position comment marker to avoid Chrome bug"

Browse source
This commit is contained in:
jenkins-bot 2022-09-19 16:57:16 +00:00 committed by Gerrit Code Review
parent 77514eb01f 39502b4f9a
commit b594a99a12
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 ] {
// Give comment anchors a negative offset so we don't position
// them right at the edge of the page when jumping to them
position: relative;
top: -1em;
// them right at the edge of the page when jumping to them.
// Use margin rather than position to avoid Chrome bug (T317135).
position: absolute;
margin-top: -1em;
}
// stylelint-disable-next-line selector-list-comma-newline-after