/* Widen the content area so the verification trace tables fit without wrapping. */
:root {
    --content-max-width: 1100px;
}