.inference .label{color:var(--warn)}.proposal .label{color:var(--blue)}
    .formula{overflow-x:auto;padding:24px 0;text-align:center;font-size:1.12em}