/* Mermaid diagrams render at natural size (see js/mermaid-init.js) and can
   exceed the content column width, so let them scroll horizontally instead
   of overflowing or getting clipped. */
pre.mermaid {
  overflow-x: auto;
  display: block;
}