From dc87fa46afb34076895a3ad3d14a9433650e5728 Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Mon, 6 Mar 2023 16:03:19 -0700 Subject: [PATCH] Added a missing HTML tag to index.html. --- docs/index.html | 75 +++++++++++++++++++++++++------------------------ 1 file changed, 38 insertions(+), 37 deletions(-) diff --git a/docs/index.html b/docs/index.html index fe3f55811..8e8c61298 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,41 +1,42 @@ - - - Document - - - - - - -
- - + - - - - - - + search: { + maxAge: 86400000, // Expiration time, the default one day + paths: 'auto', + placeholder: 'Type to search', + noData: 'No Results', + depth: 4, // Headline depth, 1 - 6 + hideOtherSidebarContent: true, + }, + }; + + + + + + + +