Improve API server's git rev-list calls.
[arvados.git] / apps / workbench / app / assets / stylesheets / selection.css
1 #persistent-selection-list {
2     width: 500px;
3 }
4
5 #selection-form-content > li > a, #selection-form-content > li > button {
6     margin: 3px 20px;
7 }
8
9 #selection-form-content li table tr {
10     padding: 3px 20px;
11     line-height: 1.42857;
12     border-top: 1px solid rgb(221, 221, 221);
13 }
14
15 #selection-form-content li table tr:last-child {
16     border-bottom: 1px solid rgb(221, 221, 221);
17 }