[MediaWiki-commits] [Gerrit] mediawiki...RevisionSlider[master]: Remove negative margin

2016-11-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove negative margin .. Remove negative margin The top pointer hovers a few pixel over the slider line. Thats not intended. Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...RevisionSlider[master]: Remove negative margin

2016-11-03 Thread WMDE-Fisch (Code Review)
WMDE-Fisch has uploaded a new change for review. https://gerrit.wikimedia.org/r/319554 Change subject: Remove negative margin .. Remove negative margin The top pointer hovers a few pixel over the slider line. Thats not