config.toml

# The URL the site will be built for
base_url = "/devlog/"

# Whether to automatically compile all Sass files in the sass directory
compile_sass = true

# Whether to build a search index to be used later on by a JavaScript library
build_search_index = false

theme = "kita"
title = "Creusot Devlog"
generate_feeds = true
feed_filenames = ["atom.xml"]

[markdown]

[markdown.highlighting]
theme = "catppuccin-mocha"

[extra]
side_toc = true
social_image = "creusot-logo-center.jpg"

[extra.profile]
name = "What's new in Creusot?"
bio = """
Devlog of the [Creusot deductive verifier](https://github.com/creusot-rs/creusot) for Rust.
[The Creusot team](https://github.com/creusot-rs) is part of [Laboratoire Méthodes Formelles](https://lmf.cnrs.fr/).
"""
avatar_url = "creusot-logo-center.jpg"
avatar_invert = true

[[extra.profile.social]]
name = "github"
url = "https://github.com/creusot-rs/creusot"

[[extra.profile.social]]
name = "rss"
url = "$BASE_URL/atom.xml"

[extra.footer]
since = 2026
license = "CC BY-SA 4.0"
license_url = "https://creativecommons.org/licenses/by-sa/4.0/deed"