[book]
authors = ["The Asterinas authors"]
language = "en"
src = "src"
title = "The Asterinas Book"

[build]
create-missing = false

[output.html]
default-theme = "navy"
preferred-dark-theme = "navy"
additional-js = ["mermaid.min.js", "mermaid-init.js"]

[output.html.playground]
editable = false         # allows editing the source code
copyable = true          # include the copy button for copying code snippets
copy-js = true           # includes the JavaScript for the code editor
line-numbers = false     # displays line numbers for editable code
runnable = false         # displays a run button for rust code

[preprocessor.mermaid]
command = "mdbook-mermaid"

