From 11edb2cb3cf2dbdcf80a72c2ba645df3f2b1778a Mon Sep 17 00:00:00 2001
From: Zlatin Balevsky <zlatinb@gmail.com>
Date: Mon, 16 Dec 2019 18:48:28 +0000
Subject: [PATCH] convert tables to div.right

---
 webui/src/main/js/search.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/webui/src/main/js/search.js b/webui/src/main/js/search.js
index 37bb8cfe..1a1a97c6 100644
--- a/webui/src/main/js/search.js
+++ b/webui/src/main/js/search.js
@@ -15,11 +15,11 @@ class SearchStatus {
 			trimmedQuery = this.query.slice(0, 19) + "&hellip;"
 			
 		var queryLink = new Link(trimmedQuery, "refresh" + refreshType, [this.uuid])
-		var stopLink = new Link("X", "stopSearch", [this.uuid])
+		var stopLink = new Link("[X]", "stopSearch", [this.uuid])
 		var resultsSnippet = ""
 		if (this.results > 0)
 			resultsSnippet = " <b>(" + this.results + ")</b>"
-		var queryHtml = "<table><tr><td>" + queryLink.render() + resultsSnippet + "</td><td><p align='right'>[" + stopLink.render() + "]</p></td></tr></table>"
+		var queryHtml = queryLink.render() + resultsSnippet + "<span class='right'>" + stopLink.render() + "</span>"
 		mapping.set("Query", queryHtml)
 		
 		return mapping