change padding to margin to diminish caret focus (!350) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge vo/file-tree-caret-focus into master Oct 10, 2018

Created by: vanesa

change padding to margin to diminish caret focus, fix https://github.com/sourcegraph/enterprise/issues/13214

This PR does not need to update the CHANGELOG because it's a minor design fix.