From 466ee7642317b701181f156f54fa1439bfba2d01 Mon Sep 17 00:00:00 2001 From: skullY Date: Tue, 8 May 2018 12:20:13 -0700 Subject: [PATCH] switch to the vue theme and add search --- docs/index.html | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/docs/index.html b/docs/index.html index 9fddda840d7..0617e1f5c1b 100644 --- a/docs/index.html +++ b/docs/index.html @@ -6,7 +6,8 @@ - + +
@@ -18,9 +19,16 @@ loadSidebar: true, auto2top: true, formatUpdated: '{YYYY}/{MM}/{DD} {HH}:{mm}', + search: { + paths: 'auto', + placeholder: 'Search Documentation...', + noData: 'We could not find any documents matching your search.', + depth: 6 + } } + @@ -28,6 +36,7 @@