Replace the username button by a dropdown menu

2017-01-13 16:42:30 +01:00
parent 4adde0f0c0
commit 2afdc11327
11 changed files with 167 additions and 87 deletions
--- a/customize.dist/main.css
+++ b/customize.dist/main.css
@@ -376,7 +376,7 @@
  background: #bbb;
 }
 .dropdown-bar .dropdown-bar-content p {
-  width: 210px;
+  min-width: 160px;
  padding: 5px;
  margin: 0;
  white-space: normal;