.zbmathjax-center, .zbmathjax-centerline {
    text-align: center;
}
.zbmathjax-center > *, .zbmathjax-centerline > * {
    margin: 0 auto;
}
.zbmathjax-left {
    text-align: left;
}
.zbmathjax-left > * {
    margin-right: auto;
}
.zbmathjax-right {
    text-align: right;
}
.zbmathjax-right > * {
    margin-left: auto;
}
.zbmathjax-text, .zbmathjax-textrm {
    font-style: normal;
}
.zbmathjax-emph, .zbmathjax-textit, .zbmathjax-textsl {
    font-style: italic;
}
.zbmathjax-textbf {
    font-weight: bold;
}
.zbmathjax-texttt {
    font-family: monospace;
}
.zbmathjax-textsf {
    font-style: normal;
}
.zbmathjax-textsc {
    font-style: normal;
    font-variant: small-caps;
}
.zbmathjax-underline, .zbmathjax-underbar {
    text-decoration: underline;
}
.zbmathjax-overline, .zbmathjax-overbar {
    text-decoration: overline;
}
.zbmathjax-phantom {
    opacity: 0.0;
    user-select: none;
    -moz-user-select: none;
    -webkit-user-select: none;
    -ms-user-select: none;
}
.zbmathjax-space {
    display: inline-block;
    margin-right: 0.5ex;
}
.zbmathjax-thinspace {
    display: inline-block;
    margin-right: 0.3ex;
}
.zbmathjax-negthinspace {
    display: inline-block;
    margin-right: -0.3ex;
}
.zbmathjax-mediumspace {
    display: inline-block;
    margin-right: 0.5ex;
}
.zbmathjax-thickspace {
    display: inline-block;
    margin-right: 0.7ex;
}
.zbmathjax-enspace {
    display: inline-block;
    margin-right: 0.5em;
}
.zbmathjax-quad {
    display: inline-block;
    margin-right: 1.0em;
}
.zbmathjax-qquad {
    display: inline-block;
    margin-right: 2.0em;
}
.zbmathjax-hspace {
    display: inline-block;
}
.zbmathjax-vspace {
    display: block;
}
br.zbmathjax-newline {
}
br.zbmathjax-paragraph {
    display: block;
    margin: 1ex auto;
    content: '';
}
br.zbmathjax-smallskip {
    display: block;
    margin: 1ex auto;
    content: '';
}
br.zbmathjax-medskip {
    display: block;
    margin: 2ex auto;
    content: '';
}
br.zbmathjax-bigskip {
    display: block;
    margin: 3ex auto;
    content: '';
}
dl.zbmathjax-itemize, dl.zbmathjax-enumerate {
    margin: 1ex auto 0 auto;
}
dl.zbmathjax-itemize dt, dl.zbmathjax-enumerate dt {
    display: inline-block;
    min-width: 2em;
    float: left;
    margin: auto 1em auto auto;
    font-weight: normal;
}
dl.zbmathjax-itemize dd, dl.zbmathjax-enumerate dd {
    display: block;
    margin: auto auto 0.5ex 3em;
}
dl.zbmathjax-itemize dt.zbmathjax-item1, dl.zbmathjax-enumerate dt.zbmathjax-item1 {
    padding-left: 0;
}
dl.zbmathjax-itemize dd.zbmathjax-item1, dl.zbmathjax-enumerate dd.zbmathjax-item1 {
    padding-left: 0;
}
dl.zbmathjax-itemize dt.zbmathjax-item2, dl.zbmathjax-enumerate dt.zbmathjax-item2 {
    padding-left: 3em;
}
dl.zbmathjax-itemize dd.zbmathjax-item2, dl.zbmathjax-enumerate dd.zbmathjax-item2 {
    padding-left: 3em;
}
dl.zbmathjax-itemize dt.zbmathjax-item3, dl.zbmathjax-enumerate dt.zbmathjax-item3 {
    padding-left: 6em;
}
dl.zbmathjax-itemize dd.zbmathjax-item3, dl.zbmathjax-enumerate dd.zbmathjax-item3 {
    padding-left: 6em;
}
dl.zbmathjax-description {
}
dl.zbmathjax-description dt {
    display: inline-block;
    float: left;
    margin: auto 1em auto auto;
}
dl.zbmathjax-description dt.zbmathjax-item1 {
    padding-left: 0;
}
dl.zbmathjax-description dt.zbmathjax-item2 {
    padding-left: 3em;
}
dl.zbmathjax-description dt.zbmathjax-item3 {
    padding-left: 6em;
}
table.zbmathjax-tabular {
    border-collapse: collapse;
}
table.zbmathjax-tabular tr.zbmathjax-row {
}
table.zbmathjax-tabular td.zbmathjax-column {
    padding: 0.2ex 1.0ex;
    vertical-align: middle;
}
table.zbmathjax-tabular td.zbmathjax-column.zbmathjax-center {
    text-align: center;
}
table.zbmathjax-tabular td.zbmathjax-column.zbmathjax-left {
    text-align: left;
}
table.zbmathjax-tabular td.zbmathjax-column.zbmathjax-right {
    text-align: right;
}
table.zbmathjax-tabular.zbmathjax-top td.zbmathjax-column {
    vertical-align: top;
}
table.zbmathjax-tabular.zbmathjax-bottom td.zbmathjax-column {
    vertical-align: bottom;
}
table.zbmathjax-tabular.zbmathjax-line {
    border-top: 1px solid black;
}
table.zbmathjax-tabular tr.zbmathjax-row.zbmathjax-line {
    border-bottom: 1px solid black;
}
table.zbmathjax-tabular tr.zbmathjax-row.zbmathjax-border {
    border-left: 1px solid black;
}
table.zbmathjax-tabular td.zbmathjax-column.zbmathjax-border {
    border-right: 1px solid black;
}
pre.zbmathjax-verbatim {
}