body {
    width: 50em;
    margin: auto;
}

/* A label on a diagram. */
.label {
    position: absolute;
    dominant-baseline: middle;
    text-anchor: middle;
    stroke: none;
    fill: black;
    font-size: 0.05em;
    /* Make the background of the label blurred. */
    backdrop-filter: blur(5px);
}

.figbox {
    display: inline;
}

.figure {
    margin: auto;
    text-align: center;
}