Michael Davis a932eb8e53 Make ruler char configurable, default to ┊

2025-09-21 10:15:55 -04:00

..

src

Make ruler char configurable, default to ┊

2025-09-21 10:15:55 -04:00

theme

book: Copy over index.hbs from mdbook 0.4.43

2024-11-25 17:53:13 -05:00

.gitignore

Add book/ (mdbook based user guide)

2021-04-05 15:48:08 +09:00

book.toml

remove the multilingual field from book.toml (#13328)

2025-04-11 09:23:39 -05:00

custom.css

Fix search highlighting for the default docs theme (#8270)

2023-09-13 16:37:39 +02:00