From 2943ca93657bfa0ced7e453a84461cbf4dda59cb Mon Sep 17 00:00:00 2001 From: simon Date: Sun, 27 Oct 2019 14:08:40 -0400 Subject: [PATCH] UI tweak --- web/js/search.js | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/web/js/search.js b/web/js/search.js index 245483d..ef222d2 100644 --- a/web/js/search.js +++ b/web/js/search.js @@ -27,12 +27,14 @@ function toggleSearchBar() { $.jsonPost("i").then(resp => { resp["indices"].forEach(idx => { - $("#indices").append($("