Michael added a comment.
In T239421#5971450 <https://phabricator.wikimedia.org/T239421#5971450>, @Charlie_WMDE wrote: > @Lucas_Werkmeister_WMDE Heyho, for me the top border is still missing. Am I looking in the wrong place? Yes, this was only an issue on mobile. On desktop, the top border is provided by the surrounding element and is therefore not part of the header element itself. But if you look at the header element on mobile, then you'll see the top border there. (Though honestly, I have yet to understand what purpose it serves there.) TASK DETAIL https://phabricator.wikimedia.org/T239421 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE, Michael Cc: Lydia_Pintscher, WMDE-leszek, darthmon_wmde, Pablo-WMDE, Michael, SaraiSan, Lucas_Werkmeister_WMDE, Sarai-WMDE, Aklapper, Charlie_WMDE, Nandana, Lahi, Gq86, GoranSMilovanovic, QZanden, LawExplorer, _jensen, rosalieper, Scott_WUaS, Wikidata-bugs, aude, Mbch331
_______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
