Fix css on live search, live search now works

2020-07-27 14:03:57 +02:00
parent 2dd20ac85a
commit f1fb73beec
4 changed files with 32 additions and 6 deletions
@@ -6628,6 +6628,11 @@ main {
  margin-right: 4px;
 }

+#search {
+  margin-bottom: 0;
+  line-height: 2.3rem;
+}
+
 .directorypath {
  border-radius: 2px;
  background-color: #333333;