Kris fa8945fee2
UX: remove old menu border hack (#31344)
We used to hide the bottom border of the header buttons when menu panels
were open (so they'd appear connected), but this is no longer
necessary... so all this vestigial CSS does is sometimes create a stray
line like this:


![image](https://github.com/user-attachments/assets/12357bf3-2bc7-4604-8b76-7e54460a4175)
2025-02-13 18:04:47 -05:00
..
2025-01-20 15:27:42 +00:00
2025-01-20 15:27:42 +00:00
2025-01-20 15:27:42 +00:00
2025-01-08 11:41:36 +01:00
2025-01-20 15:27:42 +00:00
2025-01-20 15:27:42 +00:00
2025-01-20 15:27:42 +00:00
2025-01-20 15:27:42 +00:00