comprehensive-rust/book.toml

[book]
authors = ["Martin Geisler"]
language = "en"
multilingual = false
src = "src"
title = "Comprehensive Rust 🦀"

[rust]
edition = "2021"

[preprocessor.svgbob]
class = "bob"

[output.html]
curly-quotes = true
additional-js = ["ga4.js", "speaker-notes.js"]
additional-css = ["svgbob.css", "speaker-notes.css"]
git-repository-url = "https://github.com/google/comprehensive-rust"
edit-url-template = "https://github.com/google/comprehensive-rust/edit/main/{path}"

[output.html.fold]
enable = true
level = 0

[output.html.playground]
editable = true
Publish Comprehensive Rust 🦀 2022-12-21 17:36:30 +02:00			`[book]`
			`authors = ["Martin Geisler"]`
			`language = "en"`
			`multilingual = false`
			`src = "src"`
			`title = "Comprehensive Rust 🦀"`

			`[rust]`
			`edition = "2021"`

			`[preprocessor.svgbob]`
			`class = "bob"`

			`[output.html]`
			`curly-quotes = true`
Add support for speaker notes This implements a system for speaker notes via `details` elements and some JavaScript. The general idea is 1. You add speaker notes to each page by wrapping some Markdown code in `<details> … </details>`. This is a standard HTML element for, well extra details. Browsers will render the element with a toggle control for showing/hiding the content. 2. We inject JavaScript on every page which finds these speaker note elements. They’re styled slightly and we keep their open/closed state in a browser local storage. This ensures that you can keep them open/closed across page loads. 3. We add a link to the speaker notes which will open in a new tab. The URL is amended with `#speaker-notes-open`, which we detect in the new tab: we hide the other content in this case. Simultaneously, we hide the speaker notes in the original window. 4. When navigating to a new page, we signal this to the other window. We then navigate to the same page. The logic above kicks in and hides the right part of the content. This lets the users page through the course using either the regular window or the speaker notes — the result is the same and both windows stay in sync. Tested in both Chrome and Firefox. When using a popup speaker note window, the content loads more smoothly in Chrome, but it still works fine in Firefox. Fixes #53. 2022-12-27 17:52:41 +02:00			`additional-js = ["ga4.js", "speaker-notes.js"]`
			`additional-css = ["svgbob.css", "speaker-notes.css"]`
Link back to repository in top-right corner 2022-12-21 18:28:02 +02:00			`git-repository-url = "https://github.com/google/comprehensive-rust"`
Add links to edit every page on GitHub This makes it super easy to edit a page: just click the icon in the top-right and you’ll be taken directly to an editor on GitHub. 2022-12-21 18:29:56 +02:00			`edit-url-template = "https://github.com/google/comprehensive-rust/edit/main/{path}"`
Publish Comprehensive Rust 🦀 2022-12-21 17:36:30 +02:00
			`[output.html.fold]`
			`enable = true`
			`level = 0`

			`[output.html.playground]`
			`editable = true`