Tabs: add border back (!30954) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge og/wildcard-tabs-border-fix into main Feb 10, 2022

Created by: oleggromov

During the recent migration to the Wildcard Tabs component, we deleted the component's bottom border. According to the conversation with @AlicjaSuska and group of tabs design, it should be present.

This PR brings it back.

Screenshot 2022-02-10 at 14 31 01

Changes to the code insights main page