removed extra top margin for file details view and smaller stats-info text

This commit is contained in:
Liviu 2019-05-30 08:30:47 +00:00
parent ba926f35d4
commit 38689f31f9
3 changed files with 4 additions and 4 deletions

View file

@ -404,8 +404,6 @@ div.codeblock {
// TODO: johbo: Added interim to get rid of the margin around
// Select2 widgets. This needs further cleanup.
margin-top: @padding;
overflow: auto;
padding: 0px;
border: @border-thickness solid @grey6;