/* The only hand-written file under docs/: every page is generated by
   scripts/gen_pages.py, so this is where a style that cannot come from a
   README lives. */

/* The diagrams are line drawings exported with a transparent background, so in
   the dark colour scheme their black strokes and black labels land on a dark
   ground and disappear.  Give every figure its own white plate instead of
   recolouring the drawings, which would mean maintaining two of each. */
[data-md-color-scheme="slate"] .md-typeset img {
  background: #ffffff;
  border-radius: 0.2rem;
  padding: 0.4rem;
}

/* A diagram is the width of the text, not the width of whatever it was
   exported at, and is centred with its caption below it. */
.md-typeset figure img {
  max-width: 100%;
}

.md-typeset figure figcaption {
  font-size: 0.75rem;
  margin-top: 0.4em;
  opacity: 0.8;
}