From 1203b16c3ee15127f2f85e8e32d5024e122ceb8c Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Wed, 18 Oct 2023 15:06:08 -0400 Subject: Try to use our favicon. --- mdbook/proposals/book.toml | 1 + mdbook/spec/book.toml | 1 + mdbook/theme/favicon.png | Bin 0 -> 1184 bytes 3 files changed, 2 insertions(+) create mode 100644 mdbook/theme/favicon.png (limited to 'mdbook') 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 Binary files /dev/null and b/mdbook/theme/favicon.png differ -- cgit v1.2.3-54-g00ecf