diff -r dce127afac9d -r 4fd07dd80b25 src/cm/templates/site/layout/base_workspace.html --- a/src/cm/templates/site/layout/base_workspace.html Thu Oct 03 10:19:03 2013 +0200 +++ b/src/cm/templates/site/layout/base_workspace.html Thu Oct 03 10:29:53 2013 +0200 @@ -13,7 +13,7 @@ {% nb_users as nb_users %}