Use `lucid2` for HTML reports

Related to #18

Intends to subsume and improve on the initial draft by @BinderDavid.

marked this merge request as draft

added 1 commit

• b5141670 - Remove redundant import, add type annotation

Compare with previous version

changed the description

added 1 commit

• 09ac15ca - Add lower bound on text

Compare with previous version

marked this merge request as ready

added 1 commit

• f049483c - Add lower bound on text

Compare with previous version

approved this merge request

merged