aboutsummaryrefslogtreecommitdiff
path: root/mdbook
diff options
context:
space:
mode:
Diffstat (limited to 'mdbook')
-rw-r--r--mdbook/proposals/book.toml1
-rw-r--r--mdbook/spec/book.toml1
-rw-r--r--mdbook/theme/favicon.pngbin0 -> 1184 bytes
3 files changed, 2 insertions, 0 deletions
diff --git a/mdbook/proposals/book.toml b/mdbook/proposals/book.toml
index c979359..e577f66 100644
--- a/mdbook/proposals/book.toml
+++ b/mdbook/proposals/book.toml
@@ -14,6 +14,7 @@ build-dir = "../../html/proposals"
# [preprocessor.pagetoc]
[output.html]
+theme = "../theme"
# additional-css = ["theme/pagetoc.css"]
# additional-js = ["theme/pagetoc.js"]
no-section-label = true
diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml
index 5c4a582..74dd98f 100644
--- a/mdbook/spec/book.toml
+++ b/mdbook/spec/book.toml
@@ -11,6 +11,7 @@ build-dir = "../../html"
# [preprocessor.pagetoc]
[output.html]
+theme = "../theme"
# additional-css = ["theme/pagetoc.css"]
# additional-js = ["theme/pagetoc.js"]
diff --git a/mdbook/theme/favicon.png b/mdbook/theme/favicon.png
new file mode 100644
index 0000000..514eb90
--- /dev/null
+++ b/mdbook/theme/favicon.png
Binary files differ