From: Amber <amberisvibin@gmail.com>
Date: Thu, 17 Sep 2020 18:45:56 +0000 (+0000)
Subject: Docs: fine-tune search, add newlines [skip benchmark]
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=1692962355fa7a06a1f1d32eae8cef7f78a17263;p=gwion.git

Docs: fine-tune search, add newlines [skip benchmark]
---

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