Cardano Updates

- Different layout
- Tabs
- Colours
- Summary information of events
- Detail of events

We weren't setting this field to zero, which was resulting in
`BabbageOutputTooSmallUTxO`, when this should not be a problem on L2
with the right protocol parameters.

[EC Api] - Andamio is proud to be invited as part of the delegation representing Cardano at The Linux Foundation Open Source Summit, a key event in the global tech industry.

[EC Api] - Weekly development report as of 2026-05-15

Mirrors the existing Maybe PerasCert pattern: a StrictMaybe LeiosCert
field on DijkstraBlockBodyRaw, a placeholder LeiosCert newtype
(ByteArray with derived EncCBOR/DecCBOR + NoThunks + NFData), a
lensMemoRawType-based leiosCertBlockBodyL accessor, the pattern
synonym extended with a third StrictMaybe LeiosCert argument, and the
CBOR codecs lengthened by one optional element each (EncCBOR raw list
3→4, DecCBOR record (const 3)→(const 4), EncCBORGroup inner list 2→3).
Test-side: ToExpr LeiosCert, Arbitrary LeiosCert, and the constraints
on the DijkstraBlockBody instances updated.

Only the Dijkstra era is Leios-enabled — earlier eras are untouched.
The original leios-prototype branch explored a richer shape on Conway
(Body with BodyInline / BodyCertificate plus EB-announcement and
certification flags on the Ledger Block) and then walked the flags
back in its final commit; this commit lands the simpler end state
directly on Dijkstra.

Refs: snapshot-merge first-parent ancestry preserves the originals;
the substantive ones were 0f9818960 (introduce Body type), 0c0368ea7
(remove EB-announcement / certification flags), 53517f2a7
(blockMayAnnouncedEb / blockCertifiesEb on Block).

Co-Authored-By: Claude Opus 4.7 <[email protected]>

wip