Page MenuHomePhabricator

1-pixel jump when hovering “+”-symbol
Closed, ResolvedPublicBUG REPORT

Description

List of steps to reproduce (step by step, including full links if applicable):

What happens?:
When hovering the “+”-button the CSS-rule of ext.kartographer.style

.mw-kartographer-interactive .leaflet-draw-actions a, .mw-kartographer-interactive .leaflet-bar > a {
  border-bottom-width: 0;
}

is overridden by (https://de.wikivoyage.org/w/extensions/Kartographer/lib/external/mapbox/mapbox.css)

.leaflet-bar a, .leaflet-bar a:hover {
  border-bottom: 1px solid #ddd;
}

which leads to all buttons below the “+”-button being pushed down one pixel.

What should have happened instead?:
No button shoving shall occur.

Software version (if not a Wikimedia wiki), browser information, screenshots, other information, etc.:

Screenshot_2022-04-20_01-28-11 unhovered.png (250×250 px, 86 KB)
unhovered
Screenshot_2022-04-20_01-28-11 hovered.png (250×250 px, 85 KB)
hovered
(Map data © OpenStreetMap contributors, Tiles © Wikimedia Maps )