lavergnetho OP , 4 months ago

The fastest "solution" is to use mermaid.live to save a .png of the diagram, and include the .png itself in the #JupyterBook.

Works for HTML and exports nicely to PDF, but it slightly defeats the point of using #mermaid for programmable diagrams...