Diagrams (with overview fix and configurable theme)

Use configurable mermaid theme (default `dark`)

I’ve added CSS to change edge labels to use a blurred backdrop rather than having a solid fill, as it makes them feel like entities on their own in the diagram with the theme defaults.