mjx-menclose {
    mjx-box {
        padding: 0.5em !important;
        border-radius: 0.2em;
        background: $pale-blue;
    }
}