Add border around the repository file tree
For context, see gitlab-design#166 (comment 81754840) and gitlab-design#166 (comment 94170417).
Proposal
- Add a border
1px solid #e5e5e5
around the repository file tree. - Add a border-radius of
4px
. - These changes should reflect in both the repo files page as well as the project overview page with the files table.
Edited by Jeethu Karthik