
    mjx-container[display="true"]{overflow-x:auto;overflow-y:hidden;padding:5px 0}
    code{font-family:"SFMono-Regular",Consolas,monospace;font-size:.88em;background:#f3f3f5;padding:.12em .34em}
    