book.toml

[book]
language = "en"
multilingual = false
src = "docs"
title = "agda-unimath"

[build]
create-missing = true
[preprocessor.index]

[preprocessor.links]

[preprocessor.pagetoc]

[preprocessor.katex]
renderers = ["html"]
static-css = false
include-src = false
block-delimiter = {left = "$$", right = "$$"}
inline-delimiter = {left = "$", right = "$"}
macros = "theme/latex-macros.txt"

[preprocessor.catppuccin]
assets_version = "0.2.1" # DO NOT EDIT: Managed by `mdbook-catppuccin install`

[output.linkcheck]
follow-web-links = false

[output.html]
default-theme = "light"
preferred-dark-theme = "Ayu"
copy-fonts = true
additional-css = ["theme/Agda.css", "theme/pagetoc.css", "theme/agda-logo.css", "./theme/catppuccin.css", "./theme/catppuccin-highlight.css"]
additional-js = ["theme/js/custom.js", "theme/pagetoc.js"]
no-section-label = false
site-url = "/agda-unimath/"
git-repository-url = "https://github.com/UniMath/agda-unimath"
git-repository-icon = "fa-github"

[output.html.print]
enable = true    # include support for printable output
page-break = true # insert page-break after each chapter

[output.html.fold]
enable = true    # whether or not to enable section folding
level = 0         # the depth to start folding

[output.html.search]
enable = true            # enables the search feature
limit-results = 15       # maximum number of search results
teaser-word-count = 30   # number of words used for a search result teaser
use-boolean-and = true   # multiple search terms must all match
boost-title = 2          # ranking boost factor for matches in headers
boost-hierarchy = 1      # ranking boost factor for matches in page names
boost-paragraph = 1      # ranking boost factor for matches in text
expand = true            # partial words will match longer terms
heading-split-level = 2  # link results to heading levels
copy-js = true           # include Javascript code for search