TYPE_ALGEBRA.md draws its asides in two channels: > [!TIP] for the eight "Mathematical note — …" blocks, and > [!NOTE] for the five implementation notes. The split is what lets a reader skip the category theory and still follow the document.
On the documentation site both render the same. znai 1.91 builds an attention block only for note, warning, question, recommendation and avoid — there is no tip, and an unrecognised type falls through to a code snippet that prints the markdown verbatim — so scripts/stage_docs_source.py maps both kinds to attention-note. The distinction survives only in the heading each block carries.
Restoring it would mean the attention-custom block:
```attention-custom mathematical
…
```
which znai supports, but which only provides the markup placeholders: the guide supplies the CSS. That means introducing a docs/style.css — the project has none today — with rules for the light theme and matching ones scoped under .theme-znai-dark.
Whether that is worth a stylesheet is genuinely open. The mathematical asides are optional by design, so a visual marker helps a reader decide what to skip; on the other hand every block already announces itself in its own heading. Worth doing if a reader asks for it, and probably not before.
Assisted-by: Claude:claude-opus-5
TYPE_ALGEBRA.md draws its asides in two channels:
> [!TIP]for the eight "Mathematical note — …" blocks, and> [!NOTE]for the five implementation notes. The split is what lets a reader skip the category theory and still follow the document.On the documentation site both render the same. znai 1.91 builds an attention block only for
note,warning,question,recommendationandavoid— there is notip, and an unrecognised type falls through to a code snippet that prints the markdown verbatim — soscripts/stage_docs_source.pymaps both kinds toattention-note. The distinction survives only in the heading each block carries.Restoring it would mean the
attention-customblock:which znai supports, but which only provides the markup placeholders: the guide supplies the CSS. That means introducing a
docs/style.css— the project has none today — with rules for the light theme and matching ones scoped under.theme-znai-dark.Whether that is worth a stylesheet is genuinely open. The mathematical asides are optional by design, so a visual marker helps a reader decide what to skip; on the other hand every block already announces itself in its own heading. Worth doing if a reader asks for it, and probably not before.
Assisted-by: Claude:claude-opus-5