#104 closed: "Change users grid to a simpler list"

colladoc · Aug 5, 2011 · 95c0a31 · 95c0a31
1 parent 14e5d6a
commit 95c0a31
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/src/main/scala/scala/tools/colladoc/model/mapper/User.scala b/src/main/scala/scala/tools/colladoc/model/mapper/User.scala
@@ -387,7 +387,7 @@ object User extends User with KeyedMetaMapper[Long, User] {
       <ul>
         {
           User.findAll(OrderBy(User.userName, Ascending)) map { u =>
-            <li class={if (u.deleted_?) "deleted" else if (u.banned.is) "banned" else ""}>
+            <li class={"ui-selectee" + (if (u.deleted_?) " deleted" else if (u.banned.is) " banned" else "")}>
               { u.profileHyperlinkLocal }
             </li>
           }

diff --git a/src/main/webapp/cosettings.css b/src/main/webapp/cosettings.css
@@ -211,7 +211,7 @@
 }
 
 #user_list {
-    overflow-y: scroll;
+    overflow-y: auto;
     overflow-x: hidden;
     height: 400px;
     margin: 10px 0;
@@ -229,6 +229,16 @@
     color: #993300;
 }
 
+li.ui-selectee {
+    border: 1px solid #E5E5E5;
+    margin: 1px;
+    padding-left: 5px;
+}
+
+.ui-selectee > a {
+    padding: 2px 8px;
+}
+
 #user_settings input {
     display: block;
 }