From 1692962355fa7a06a1f1d32eae8cef7f78a17263 Mon Sep 17 00:00:00 2001
From: Amber <amberisvibin@gmail.com>
Date: Thu, 17 Sep 2020 18:45:56 +0000
Subject: [PATCH] Docs: fine-tune search, add newlines [skip benchmark]

---
 404.mdr   | 2 +-
 book.toml | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/404.mdr b/404.mdr
index 4cd58dc5..8c24a219 100644
--- a/404.mdr
+++ b/404.mdr
@@ -1,3 +1,3 @@
 # 404
 
-Page not found. Go back [home](https://fennecdjay.github.io/Gwion/index.html)?
\ No newline at end of file
+Page not found. Go back [home](https://fennecdjay.github.io/Gwion/index.html)?
diff --git a/book.toml b/book.toml
index 98f3fb82..200b355b 100644
--- a/book.toml
+++ b/book.toml
@@ -12,3 +12,9 @@ git-repository-url ="https://github.com/fennecdjay/Gwion"
 [output.html.fold]
 enable = true
 level = 0
+
+[output.html.search]
+use-boolean-and = true
+boost-title = 3
+boost-hierarchy = 2
+boost-paragraph = 1
-- 
2.43.0