cottax.consumers.visualization.xdsm_html module

The XDSM as a view of an interactive page (interactive.render_html): render_xdsm_svg’s picture, what hovering it says, and what an op changed in it.

NAMES_CSS = ':host([data-nonames]) .lbl,:host([data-nonames]) .dlbl,:host([data-nonames]) .deco{display:none}'

every name, and a minted name’s caret with it. The boxes stay where they are, cut to the names they would hold.

Type:

What the Names toggle hides in an XDSM

xdsm_view(graph, pictures: Pictures, before=None, *, blocks=False, formatter: Formatter = PlainFormat(), **kw)

One frame’s XDSM, as a page view (page.page): its picture added to pictures, what hovering a step says, and the steps changed since before. A proof is drawn as its graph, ringed as proved. kw is render_xdsm_svg’s.

Return type:

dict