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

diff --git a/404.mdr b/404.mdr
index 4cd58dc5c5d34ea12272442156be3f7088aba4c8..8c24a219c2c542915a11bd06e213bdc290210ebe 100644 (file)
--- 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 98f3fb823bca878458b790b4d50c14966495a61e..200b355b066740848b56121cbe7c2ed0485e8f98 100644 (file)
--- 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