.prime {
    color: var(--accent);
    font-weight: bold;
}

.step-title {
    font-weight: bold;
    display: block;
    margin-top: 10px;
}

.text {
    margin-bottom: 10px;
    display: block;
}

.final {
    font-weight: bold;
    margin-top: 10px;
    display: block;
}

mjx-container[jax="CHTML"] {
    white-space: normal !important;
}

.holder {
    display: flex;
    align-items: flex-start;
}

.div_left {
    text-align: right;
    margin-right: 6px;
    border-right: 1px solid black;
    padding-right: 7px;
    font-family: monospace;
}

.div_right {
    text-align: left;
    font-family: monospace;
}

.prime-table {
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
    margin: 15px 0;
    font-family: monospace;
}

    .prime-table span {
        padding: 4px 6px;
        border: 1px solid #000;
        border-radius: 4px;
    }

mjx-container[jax="CHTML"] {
    display: inline-block !important;
    margin: 0 !important;
    padding: 0 !important;
}

.nowrap-span mjx-container[jax="CHTML"] {
    white-space: nowrap !important;
}