From d849b70d50ca8b098a55ac45a401bc7b75495be0 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 15 Jun 2019 18:10:18 +0200
Subject: Update site

---
 documentation/4.1/api/lib/index.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'documentation/4.1/api/lib/index.js')

diff --git a/documentation/4.1/api/lib/index.js b/documentation/4.1/api/lib/index.js
index 087c975..33b49b6 100644
--- a/documentation/4.1/api/lib/index.js
+++ b/documentation/4.1/api/lib/index.js
@@ -561,10 +561,12 @@ function searchAll() {
     entityH1.innerHTML = "Entity results";
     entityResults.appendChild(entityH1);
 
-    $("div#results-content")
-        .prepend("<span class='search-text'>"
-                +"  Showing results for <span class='query-str'>\"" + searchStr + "\"</span>"
-                +"</span>");
+    $("div#results-content").prepend(
+        $("<span>")
+            .addClass("search-text")
+            .append(document.createTextNode("  Showing results for "))
+            .append($("<span>").addClass("query-str").text(searchStr))
+    );
 
     var regExp = compilePattern(searchStr);
 
-- 
cgit v1.2.3