Never drop the border on a connect panel.
Never drop the border on a connect panel.

Minor UI improvement.  Borderless connect panels look wrong.

There’s no clean way to determine at this location whether the panel is a connect panel or not.  This solution relies on relatively fragile content-sniffing.  But if it fails (due to the DOM changing), it’s not a usability issue.

google/CodeCity,NeilFraser/CodeCity,google/CodeCity,NeilFraser/CodeCity,NeilFraser/CodeCity,google/CodeCity,NeilFraser/CodeCity,google/CodeCity