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 = "website/latex-macros.txt"

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

[preprocessor.git-metadata]
command = "python3 ./scripts/preprocessor_git_metadata.py"
# Disable by default - it takes a nontrivial amount of time
# Can be overriden by running
# `export MDBOOK_PREPROCESSOR__GIT_METADATA__ENABLE=true` in your shell
enable = false
# Only show "Content created by" on Agda source files
attribute_file_extensions = [ ".lagda.md" ]
# Don't add anything to the "non-content" pages,
# i.e. top-level markdown files which aren't guides
suppress_processing = [
  "HOME.md",
  "MAINTAINERS.md",
  "CONTRIBUTORS.md",
  "STATEMENT-OF-INCLUSION",
  "PROJECTS.md",
  "GRANT-ACKNOWLEDGEMENTS.md",
  "SUMMARY.md",
  "ART.md",
  "VISUALIZATION.md"
]

[preprocessor.concepts]
command = "python3 ./scripts/preprocessor_concepts.py"
output-file = "docs/concept_index.json"
mathswitch-template = "https://mathswitch.xyz/concept/Wd/{wikidata_id}"
wikidata-template = "https://www.wikidata.org/entity/{wikidata_id}"

[preprocessor.citations]
command = "python3 ./scripts/preprocessor_citations.py"
bibtex-file = "references.bib"
citation-style = "alpha"
citation-label-style = "custom_alpha"
error-on-unmatched-keys = true
error-on-empty-bibliography = true
before = [ "git-metadata" ]

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

[output.html]
default-theme = "light"
preferred-dark-theme = "Ayu"
# The following option is renamed to smart-punctuation in mdbook 0.4.38
curly-quotes = true
copy-fonts = true
additional-css = [
  "website/css/Agda.css",
  "website/css/Agda-highlight.css",
  "website/css/agda-logo.css",
  "website/css/bibliography.css",
  "theme/catppuccin.css",
  "theme/catppuccin-admonish.css",
  "theme/pagetoc.css",
]
additional-js = [
  "website/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 = false

[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