From f26c192595c3fd76aa70d76f35012e96438ada4e Mon Sep 17 00:00:00 2001 From: oppiliappan Date: Thu, 8 Jan 2026 08:18:57 +0000 Subject: [PATCH] docs: use google search query as a search bar Signed-off-by: oppiliappan --- docs/search.html | 7 +++++++ docs/template.html | 13 +++++++------ 2 files changed, 14 insertions(+), 6 deletions(-) create mode 100644 docs/search.html diff --git a/docs/search.html b/docs/search.html new file mode 100644 index 00000000..42a24df5 --- /dev/null +++ b/docs/search.html @@ -0,0 +1,7 @@ + diff --git a/docs/template.html b/docs/template.html index 67a8b7c2..43ee9b01 100644 --- a/docs/template.html +++ b/docs/template.html @@ -37,7 +37,7 @@ - + $for(include-before)$ $include-before$ $endfor$ @@ -60,13 +60,12 @@ id="mobile-toc-popover" popover class="mobile-toc-popover - bg-white dark:bg-gray-800 - border-r border-gray-200 dark:border-gray-700 - h-full overflow-y-auto + bg-gray-50 dark:bg-gray-800 border-r border-gray-200 dark:border-gray-700 + h-full overflow-y-auto shadow-sm px-6 py-4 fixed inset-x-0 top-0 w-fit max-w-4/5 m-0" >
-
+
${ single-page:mode.html() } @@ -85,9 +85,10 @@