Display anonymous users in the user list

2017-03-06 14:56:41 +01:00
parent cb88227e2b
commit 77d09f64e1
3 changed files with 3 additions and 1 deletions
--- a/customize.dist/src/less/toolbar.less
+++ b/customize.dist/src/less/toolbar.less
@@ -312,6 +312,7 @@
        //float: right;
        pre {
            white-space: pre;
+            margin: 0;
        }
    }
    button {