Nicer handling of robots: sort the robots by name and add a filtering box

This commit is contained in:
Joseph Schorr 2015-04-09 15:03:07 -04:00
parent 0be0aed17d
commit c2e4cbe95b
3 changed files with 23 additions and 2 deletions

View file

@ -77,4 +77,10 @@
.robots-manager-element .member-perm-summary {
margin-right: 14px;
}
.robots-manager-element .co-filter-box {
float: right;
min-width: 175px;
margin-bottom: 10px;
}