diff --git a/doc-tool/resources/_layouts/search.html b/doc-tool/resources/_layouts/search.html
index 703e47b799fd..875166871816 100644
--- a/doc-tool/resources/_layouts/search.html
+++ b/doc-tool/resources/_layouts/search.html
@@ -1,5 +1,6 @@
---
layout: main
+title: Search
extraCSS:
- css/toolbar.css
- css/search.css
@@ -43,9 +44,10 @@
Member Results
})();
// Set search term and back button:
- var searchTerm = parameters["searchTerm"];
+ var searchTerm = decodeURIComponent(parameters["searchTerm"]);
document.getElementById("searching-for").innerHTML = 'Search results for "' + searchTerm + '"';
document.getElementById("back-anchor").href = parameters["previousUrl"];
+ document.title = searchTerm + ' - Search results';
if (!window.Worker) {
document.getElementById("searching-for").innerHTML =