If behind by more than 50 commits, show update badge on "Tools"

2022-05-27 15:32:43 -04:00
parent 0187cc2c45
commit 201f705517
3 changed files with 27 additions and 9 deletions
@@ -700,4 +700,9 @@ dialog::backdrop {
  border-radius:12px;
  text-align:center;
  font-size:small;
+}
+
+form#views button .updatenumber {
+  position:initial;
+  margin-left:0px;
 }