From a734c369cc1c6798d7e397c6082b5371acd76457 Mon Sep 17 00:00:00 2001 From: "Michael G. Khmelnitsky" Date: Thu, 16 Nov 2023 00:37:41 -0800 Subject: [PATCH] Minor fixup. --- _includes/topnav.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_includes/topnav.html b/_includes/topnav.html index 5c30f62d..d849718f 100644 --- a/_includes/topnav.html +++ b/_includes/topnav.html @@ -101,7 +101,7 @@ searchInput: document.getElementById('search-input'), resultsContainer: document.getElementById('results-container'), dataSource: '/search.json', - searchResultTemplate: '
  • {title}
  • ', + searchResultTemplate: '
  • {title}
  • ', noResultsText: 'No results found.', limit: 10, fuzzy: true,