@@ -48,20 +48,6 @@ if (toggleContentNav !== null) {
4848 }
4949}
5050
51−/*function initToggleMenu() {
52− var menu = document.querySelector(".menu");
53− var menuIcon = document.querySelector(".menu-icon");
54− var page = document.querySelector(".page");
55− menuIcon.addEventListener("click", function() {
56− menu.classList.toggle("menu-hidden");
57− page.classList.toggle("page-without-menu");
58− });
59−}*/
60−
61−//
62− // hotkeys
63−//
64−
6551function initHotKeys() {
6652
6753 var bodyEl = document.body;
@@ -117,7 +103,6 @@ function debounce(func, wait) {
117103 };
118104}
119105
120−// Taken from mdbook
121106// The strategy is as follows:
122107// First, assign a value to each word in the document:
123108// Words that correspond to search terms (stemmer aware): 40
@@ -245,7 +230,7 @@ function formatSearchResultTitle(path) {
245230
246231 var fullTitle = firstPartTitle + ' / ' + '<span class="search-results__item__title__slug-end">' + lastPartTitle + '</span>';
247232
248− return fullTitle;
233+ return fullTitle;
249234}
250235
251236function formatSearchResultItem(item, terms) {