Updated header user-tools margins.

pull/98/head
Fabio Caccamo 2020-09-04 11:43:42 +02:00
parent 892bfa5e16
commit 7d64545031
1 changed files with 2 additions and 1 deletions

View File

@ -76,7 +76,8 @@
}
.admin-interface #user-tools {
margin-bottom: 2px;
margin-top: 10px;
margin-bottom: 10px;
white-space: nowrap;
}