Skip to content
Snippets Groups Projects
Unverified Commit 312da2f1 authored by Jack Reed's avatar Jack Reed Committed by GitHub
Browse files

Merge pull request #1480 from dbmdz/minor-ui-improvement

Minor UI improvement
parents f01478eb 97e7c7bd
No related branches found
No related tags found
No related merge requests found
......@@ -22,6 +22,8 @@
height: ~"calc(100% - 75px)";
overflow-y: scroll;
margin-left: 240px;
margin-top: 10px;
border-top: 1px solid gray;
}
#collection-tree {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment