Repo sidebar: fix missing right margin on symbol panel (!22545) · Merge requests · Administrator / sourcegraph

Administrator requested to merge pdubroy/sidebar-padding into main Jul 02, 2021

Created by: pdubroy

Fixes a visual bug in the repo sidebar, where there is no space to the right of the symbol panel if the filenames are long.

Before:

After:

Repo sidebar: fix missing right margin on symbol panel