guide: Add custom syntax highlighter for Creusot

creusot-rs · Jan 23, 2025 · 69b620c · 69b620c
1 parent 7441864
commit 69b620c
Show file tree

Hide file tree

Showing 4 changed files with 848 additions and 0 deletions.
diff --git a/guide/book.toml b/guide/book.toml
@@ -4,3 +4,6 @@ language = "en"
 multilingual = false
 src = "src"
 title = "Creusot User Guide"
+
+[output.html.playground]
+runnable = false