mjx-container[jax="SVG"] {
  direction: ltr;
}

mjx-container[jax="SVG"] > svg {
  overflow: visible;
  min-height: 1px;
  min-width: 1px;
}

mjx-container[jax="SVG"] > svg a {
  fill: blue;
  stroke: blue;
}

mjx-assistive-mml {
  position: absolute !important;
  top: 0px;
  left: 0px;
  clip: rect(1px, 1px, 1px, 1px);
  padding: 1px 0px 0px 0px !important;
  border: 0px !important;
  display: block !important;
  width: auto !important;
  overflow: hidden !important;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

mjx-assistive-mml[display="block"] {
  width: 100% !important;
}

mjx-container[jax="SVG"][display="true"] {
  display: block;
  text-align: center;
  margin: 1em 0;
}

mjx-container[jax="SVG"][display="true"][width="full"] {
  display: flex;
}

mjx-container[jax="SVG"][justify="left"] {
  text-align: left;
}

mjx-container[jax="SVG"][justify="right"] {
  text-align: right;
}

g[data-mml-node="merror"] > g {
  fill: red;
  stroke: red;
}

g[data-mml-node="merror"] > rect[data-background] {
  fill: yellow;
  stroke: none;
}

g[data-mml-node="mtable"] > line[data-line], svg[data-table] > g > line[data-line] {
  stroke-width: 70px;
  fill: none;
}

g[data-mml-node="mtable"] > rect[data-frame], svg[data-table] > g > rect[data-frame] {
  stroke-width: 70px;
  fill: none;
}

g[data-mml-node="mtable"] > .mjx-dashed, svg[data-table] > g > .mjx-dashed {
  stroke-dasharray: 140;
}

g[data-mml-node="mtable"] > .mjx-dotted, svg[data-table] > g > .mjx-dotted {
  stroke-linecap: round;
  stroke-dasharray: 0,140;
}

g[data-mml-node="mtable"] > g > svg {
  overflow: visible;
}

[jax="SVG"] mjx-tool {
  display: inline-block;
  position: relative;
  width: 0;
  height: 0;
}

[jax="SVG"] mjx-tool > mjx-tip {
  position: absolute;
  top: 0;
  left: 0;
}

mjx-tool > mjx-tip {
  display: inline-block;
  padding: .2em;
  border: 1px solid #888;
  font-size: 70%;
  background-color: #F8F8F8;
  color: black;
  box-shadow: 2px 2px 5px #AAAAAA;
}

g[data-mml-node="maction"][data-toggle] {
  cursor: pointer;
}

mjx-status {
  display: block;
  position: fixed;
  left: 1em;
  bottom: 1em;
  min-width: 25%;
  padding: .2em .4em;
  border: 1px solid #888;
  font-size: 90%;
  background-color: #F8F8F8;
  color: black;
}

foreignObject[data-mjx-xml] {
  font-family: initial;
  line-height: normal;
  overflow: visible;
}

mjx-container[jax="SVG"] path[data-c], mjx-container[jax="SVG"] use[data-c] {
  stroke-width: 3;
}
#setText > div {
  justify-content: inherit;
  margin-top: 0;
  margin-bottom: 1em;
  
  
}
#setText div:last-child {
  margin-bottom: 0 !important;
}
#setText > br, #preview-content br {
  line-height: 1.2;
}
#preview-content > div {
  margin-top: 0;
  margin-bottom: 1em;
  
}
.proof > div,
#preview-content .proof > div, #setText .proof > div,
.theorem > div,
#preview-content .theorem > div, #setText .theorem > div {
  margin-top: 1rem;
}
mjx-container {
  text-indent: 0;
  overflow-y: hidden;
  overflow-x: auto;
  padding-top: 1px;
  padding-bottom: 1px;
  
}
.math-inline mjx-container {
  display: inline-block !important;
  page-break-inside: avoid;
  max-width: 100%;
  padding: 0;
  line-height: 0;
}
.math-inline[data-overflow="visible"] mjx-container {
  overflow: visible;
}
.math-inline mjx-container mjx-assistive-mml {
  max-width: 100%;
}
.math-block {
  align-items: center;
  page-break-after: auto;
  page-break-inside: avoid;
  margin: 0;
  display: block;
}
.math-inline {
  display: inline-flex;
  max-width: 100%;
}
.math-block[data-width="full"] {
  overflow-x: auto;
  display: flex;
}
.math-block[data-width="full"] mjx-container[jax=SVG][display=true] {
  display: flex;
  flex: 1 1;
  justify-content: center;
}
svg .math-inline {
  display: initial;
  max-width: initial;
}
svg .math-inline mjx-container {
  max-width: initial;
}
svg mjx-container {
  overflow: visible;
  padding: 0;
}
svg .math-block[data-width="full"] {
  overflow: visible;
}
.math-block, .math-inline {
  --mmd-highlight-color: rgba(0, 147, 255, 0.25);
  --mmd-highlight-text-color: #1e2029;
}
.math-block[data-highlight-color] mjx-container[jax="SVG"] > svg {
  background-color: var(--mmd-highlight-color);
}
.math-block[data-highlight-text-color] mjx-container[jax="SVG"] > svg {
  color: var(--mmd-highlight-text-color);
}
.math-inline[data-highlight-color] mjx-container[jax="SVG"] {
  background-color: var(--mmd-highlight-color);
}
.math-inline[data-highlight-text-color] mjx-container[jax="SVG"] {
  color: var(--mmd-highlight-text-color);
}
.math-block p {
  flex-shrink: 1;
}
.math-block mjx-container {
  margin: 0 !important;
}
.math-error {
  background-color: yellow;
  color: red;
}
#preview-content img, #setText img {
  max-width: 100%;
}
#preview-content blockquote, #setText blockquote {
  page-break-inside: avoid;
  color: #666;
  margin: 0 0 1em 0;
  padding-left: 3em;
  border-left: .5em solid #eee;
}
#preview-content pre, #setText pre {
  border: none;
  padding: 0;
  overflow: auto;
  font-size: 85%;
  line-height: 1.45;
  border-radius: 6px;
  box-sizing: border-box;
  background: #f8f8fa;
}
#preview-content pre code, #setText pre code {
  padding: 1rem;
  display: block;
  overflow-x: auto;
  line-height: 24px;
}
#preview-content table, #setText table {
  display: table;
  overflow: auto;
  max-width: 100%;
  border-collapse: collapse;
  page-break-inside: avoid;
  margin-bottom: 1em;
}
#preview-content table th, #setText table th {
  text-align: center;
  font-weight: bold;
}
#preview-content table td, #setText table td,
#preview-content table th, #setText table th {
  border: 1px solid #dfe2e5;
  padding: 6px 13px;
}
#preview-content table tr, #setText table tr {
  background-color: #fff;
  border-top: 1px solid #c6cbd1;
}
#preview-content table tr:nth-child(2n), #setText table tr:nth-child(2n) {
  background-color: #f6f8fa;
}
.main-title,
#preview-content .main-title, #setText .main-title {
  text-align: center;
  line-height: 1.2;
  margin: 0 auto 1em auto;
}
.author,
#preview-content .author, #setText .author {
  text-align: center;
  margin: 0 auto;
  display: flex;
  justify-content: center;
  flex-wrap: wrap;
}
.author p,
#preview-content .author p, #setText .author p {
  min-width: 30%;
  max-width: 50%;
  padding: 0 7px;
}
.author > p > span,
#preview-content .author > p > span, #setText .author > p > span {
  display: block;
  text-align: center;
}
.section-title,
#preview-content .section-title, #setText .section-title {
  margin-top: 1.5em;
}
.abstract,
#preview-content .abstract, #setText .abstract {
  text-align: justify;
  margin-bottom: 1em;
}
.abstract p,
#preview-content .abstract p, #setText .abstract p {
  margin-bottom: 0;
}
#preview-content sup, #setText sup {
  top: -.5em;
  position: relative;
  font-size: 75%;
  line-height: 0;
  vertical-align: baseline;
}
.text-url,
#preview-content .text-url, #setText .text-url {
  color: #0B93ff;
  cursor: text;
  pointer-events: none;
}
.text-url a:hover,
#preview-content .text-url a:hover, #setText .text-url a:hover {
  color: #0B93ff;
}
mark,
#preview-content mark, #setText mark {
  background-color: #feffe6;
}
span[data-underline-type] mark,
#preview-content span[data-underline-type] mark,
#setText span[data-underline-type] mark {
  background: inherit;
  background-color: #feffe6;
  padding-top: 0;
  padding-bottom: 0;
}
*[data-has-dotfill] {
  position: relative;
  overflow: hidden;
}
*[data-has-dotfill] .dotfill::after {
  position: absolute;
  padding-left: .25ch;
  content: " . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . "
      ". . . . . . . . . . . . . . . . . . . . . . . ";
  text-align: right;
}
.smiles,
#preview-content .smiles, #setText .smiles {
  text-align: center;
}
div.svg-container,
#preview-content > div.svg-container,
#setText > div.svg-container {
  display: flex;
  justify-content: center;
}
@media print {
  #preview {
    font-size: 10pt !important;
  }
  .math-block svg, .math-inline svg {
    shape-rendering: crispEdges;
    margin-top: 1px;
  }
  #preview-content img, #setText img {
    display: block;
  }
  #preview-content .figure_img img, #setText .figure_img img {
    display: inline;
  }
  #preview-content h1, #preview-content h2, #preview-content h3,
  #preview-content h4, #preview-content h5, #preview-content h6,
  #setText h1, #setText h2, #setText h3,
  #setText h4, #setText h5, #setText h6 {
    page-break-inside: avoid;
    position: relative;
    border: 2px solid transparent;
  }
  #preview-content h1::after, #preview-content h2::after, #preview-content h3::after,
  #preview-content h4::after, #preview-content h5::after, #preview-content h6::after,
  #setText h1::after, #setText h2::after, #setText h3::after,
  #setText h4::after, #setText h5::after, #setText h6::after {
    content: "";
    display: block;
    height: 100px;
    margin-bottom: -100px;
    position: relative;
  }
}
#preview-content code, #setText code {
  font-family: Inconsolata;
  font-size: inherit;
  display: initial;
  background: #f8f8fa;
}
#preview-content .mmd-highlight code, #setText .mmd-highlight code,
#preview-content pre.mmd-highlight code, #setText pre.mmd-highlight code {
  background-color: transparent;
}
#preview-content pre code, #setText pre code {
  font-family: 'DM Mono', Inconsolata, monospace;
  color: #333;
  font-size: 15px;
}
.hljs-comment, .hljs-quote,
#preview-content .hljs-comment, #setText .hljs-comment,
#preview-content .hljs-quote, #setText .hljs-quote {
  color: #998;
  font-style: italic;
}
.hljs-command,
#preview-content .hljs-command, #setText .hljs-command {
  color: #005cc5;
}
.hljs-keyword, .hljs-selector-tag, .hljs-subst,
#preview-content .hljs-keyword, #setText .hljs-keyword,
#preview-content .hljs-selector-tag, #setText .hljs-selector-tag,
#preview-content .hljs-subst, #setText .hljs-subst {
  color: #d73a49;
  font-weight: bold;
}
.hljs-number, .hljs-literal, .hljs-variable,
.hljs-template-variable, .hljs-tag .hljs-attr,
#preview-content .hljs-number, #setText .hljs-number,
#preview-content .hljs-literal, #setText .hljs-literal,
#preview-content .hljs-variable, #setText .hljs-variable,
#preview-content .hljs-template-variable, #setText .hljs-template-variable,
#preview-content .hljs-tag .hljs-attr, #setText .hljs-tag .hljs-attr {
  color: #005cc5;
}
.hljs-string, .hljs-doctag,
#preview-content .hljs-string, #setText .hljs-string,
#preview-content .hljs-doctag, #setText .hljs-doctag {
  color: #24292e;
}
.hljs-title, .hljs-section, .hljs-selector-id,
#preview-content .hljs-title, #setText .hljs-title,
#preview-content .hljs-section, #setText .hljs-section,
#preview-content .hljs-selector-id, #setText .hljs-selector-id {
  color: #6f42c1;
  font-weight: bold;
}
.hljs-subst,
#preview-content .hljs-subst, #setText .hljs-subst {
  font-weight: normal;
}
.hljs-type, .hljs-class .hljs-title,
#preview-content .hljs-type, #setText .hljs-type,
#preview-content .hljs-class .hljs-title, #setText .hljs-class .hljs-title {
  color: #458;
  font-weight: bold;
}
.hljs-tag, .hljs-name, .hljs-attribute,
#preview-content .hljs-tag, #setText .hljs-tag,
#preview-content .hljs-name, #setText .hljs-name,
#preview-content .hljs-attribute, #setText .hljs-attribute {
  color: #000080;
  font-weight: normal;
}
.hljs-regexp, .hljs-link,
#preview-content .hljs-regexp, #setText .hljs-regexp,
#preview-content .hljs-link, #setText .hljs-link {
  color: #009926;
}
.hljs-symbol, .hljs-bullet,
#preview-content .hljs-symbol, #setText .hljs-symbol,
#preview-content .hljs-bullet, #setText .hljs-bullet {
  color: #990073;
}
.hljs-built_in, .hljs-builtin-name,
#preview-content .hljs-built_in, #setText .hljs-built_in,
#preview-content .hljs-builtin-name, #setText .hljs-builtin-name {
  color: #24292e;
}
.hljs-meta,
#preview-content .hljs-meta, #setText .hljs-meta {
  color: #999;
  font-weight: bold;
}
.hljs-meta-keyword,
#preview-content .hljs-meta-keyword, #setText .hljs-meta-keyword {
  color: #d73a49;
}
.hljs-meta-string,
#preview-content .hljs-meta-string, #setText .hljs-meta-string {
  color: #032f62;
}
.hljs-deletion,
#preview-content .hljs-deletion, #setText .hljs-deletion {
  background: #fdd;
}
.hljs-addition,
#preview-content .hljs-addition, #setText .hljs-addition {
  background: #dfd;
}
.hljs-emphasis,
#preview-content .hljs-emphasis, #setText .hljs-emphasis {
  font-style: italic;
}
.hljs-strong,
#preview-content .hljs-strong, #setText .hljs-strong {
  font-weight: bold;
}
.table_tabular,
#preview-content .table_tabular, #setText .table_tabular {
  overflow-x: auto;
  padding: 0 2px 0.5em 2px;
}
.tabular,
#preview-content .tabular, #setText .tabular {
  display: inline-table !important;
  width: auto;
  table-layout: auto;
  border-collapse: collapse;
  border-spacing: 0;
  margin: 0 0 1em;
  font-size: inherit;
  height: fit-content;
}
.tabular th,
#preview-content .tabular th, #setText .tabular th {
  border: none !important;
  padding: 6px 13px;
  background-color: transparent;
  font-weight: bold;
}
.tabular tr,
#preview-content .tabular tr, #setText .tabular tr {
  border-top: none !important;
  border-bottom: none !important;
  background-color: transparent;
}
.tabular td,
#preview-content .tabular td, #setText .tabular td {
  border-style: none !important;
  background-color: #fff;
  border-color: #000 !important;
  word-break: keep-all;
  padding: 0.1em 0.5em !important;
}
.tabular td > p,
#preview-content .tabular td > p, #setText .tabular td > p {
  margin-bottom: 0;
  margin-top: 0;
}
.tabular td._empty,
#preview-content .tabular td._empty, #setText .tabular td._empty {
  height: 1.3em;
}
.tabular td .f,
#preview-content .tabular td .f, #setText .tabular td .f {
  opacity: 0;
}
#preview-content .sub-table table, #setText .sub-table table {
  margin-bottom: 0;
}
html[data-theme="dark"] .tabular tr,
html[data-theme="dark"] #preview-content .tabular tr, html[data-theme="dark"] #setText .tabular tr,
html[data-theme="dark"] .tabular td,
html[data-theme="dark"] #preview-content .tabular td, html[data-theme="dark"] #setText .tabular td {
  background-color: #202226;
  border-color: #fff !important;
}
.figure_img,
#preview-content .figure_img, #setText .figure_img {
  margin-bottom: 0.5em;
  overflow-x: auto;
}
div.figure_img img,
#preview-content div.figure_img img, #setText div.figure_img img {
  display: inline;
  margin: 0;
}
ol.enumerate, ul.itemize,
#preview-content ol.enumerate, #setText ol.enumerate,
#preview-content ul.itemize, #setText ul.itemize {
  padding-inline-start: 40px;
  margin: 0 0 1em 0;
}
li > ol.enumerate, li > ul.itemize,
#preview-content li > ol.enumerate, #setText li > ol.enumerate,
#preview-content li > ul.itemize, #setText li > ul.itemize {
  margin: 0;
}
ul.itemize > li,
#preview-content ul.itemize > li, #setText ul.itemize > li {
  position: relative;
  min-height: 1.4em;
  margin-bottom: 0;
}
.enumerate > .li_enumerate,
#preview-content .enumerate > .li_enumerate, #setText .enumerate > .li_enumerate {
  margin-bottom: 0;
}
.itemize > li > span.li_level, .li_enumerate.not_number > span.li_level,
#preview-content .itemize > li > span.li_level, #setText .itemize > li > span.li_level,
#preview-content .li_enumerate.not_number > span.li_level, #setText .li_enumerate.not_number > span.li_level {
  position: absolute;
  right: 100%;
  white-space: nowrap;
  width: max-content;
  display: flex;
  justify-content: flex-end;
  padding-right: 10px;
  box-sizing: border-box;
}
.li_enumerate.not_number,
#preview-content .li_enumerate.not_number, #setText .li_enumerate.not_number {
  position: relative;
  display: inline-block;
  list-style-type: none;
  min-height: 1.4em;
}
.itemize > li > span.li_level .math-inline,
.enumerate > li > span.li_level .math-inline,
#preview-content .itemize > li > span.li_level .math-inline,
#setText .itemize > li > span.li_level .math-inline,
#preview-content .enumerate > li > span.li_level .math-inline,
#setText .enumerate > li > span.li_level .math-inline {
  display: inline-block;
}
.mmd-menu {
  max-width: 320px;
  position: absolute;
  background-color: white;
  color: black;
  width: auto;
  padding: 5px 0;
  border: 1px solid #E5E6EB;
  margin: 0;
  cursor: default;
  font: menu;
  text-align: left;
  text-indent: 0;
  text-transform: none;
  line-height: normal;
  letter-spacing: normal;
  word-spacing: normal;
  word-wrap: normal;
  white-space: nowrap;
  float: none;
  z-index: 201;
  border-radius: 5px;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -khtml-border-radius: 5px;
  box-shadow: 0 10px 20px #808080;
  -webkit-box-shadow: 0 10px 20px #808080;
  -moz-box-shadow: 0 10px 20px #808080;
  -khtml-box-shadow: 0 10px 20px #808080;
}
.mmd-menu:focus { outline: none; }
.mmd-menu.mmd-menu-sm {
  max-width: 100vw;
  padding-bottom: 34px;
  border-radius: 0;
  -webkit-border-radius: 0;
  -moz-border-radius: 0;
  -khtml-border-radius: 0;
}
.mmd-menu-item-icon {
  color: #1E2029;
  margin-left: auto;
  align-items: center;
  display: none;
  flex-shrink: 0;
}
.mmd-menu-item {
  padding: 8px 1.25rem;
  display: flex;
  background: transparent;
  height: 52px;
  max-height: 52px;
}
.mmd-menu-item:focus { outline: none; }
.mmd-menu-item.active {
  background-color: #e1e0e5;
}
.mmd-menu-item.active .mmd-menu-item-icon {
  display: flex;
}
.mmd-menu-item-container {
  overflow: hidden;
}
.mmd-menu-item-title {
  color: #1E2029;
  white-space: nowrap;
  text-overflow: ellipsis;
  overflow: hidden;
  font-size: 14px;
  line-height: 20px;
}
.mmd-menu-item-value {
  color: #7d829c;
  white-space: nowrap;
  text-overflow: ellipsis;
  overflow: hidden;
  font-size: 12px;
  line-height: 16px;
}
html[data-theme="dark"] .mmd-menu-item-title {
  color: #ebefe7;
}
html[data-theme="dark"] .mmd-menu-item.active .mmd-menu-item-title {
  color: #1E2029;
}
html[data-theme="dark"] .mmd-menu {
  background-color: #33363a;
}
.mmd-context-menu-overlay {
  background: rgba(0, 0, 0, 0.56);
}
.ClipboardButton {
  padding: 0;
  margin: 0.5rem;
  display: inline-block;
  cursor: pointer;
  color: rgb(36, 41, 47);
  background: rgb(246, 248, 250);
  border-radius: 6px;
  border: 1px solid rgba(31, 35, 40, 0.15);
  box-shadow: rgba(31, 35, 40, 0.04) 0 1px 0 0, rgba(255, 255, 255, 0.25) 0 1px 0 0 inset;
  position: relative;
}
.ClipboardButton:hover {
  background-color: rgb(243, 244, 246);
  border-color: rgba(31, 35, 40, 0.15);
  transition-duration: .1s;
}
td .mmd-clipboard-copy-container {
  line-height: 0;
}
td .ClipboardButton {
  margin: 1px;
  line-height: 0;
}
td .ClipboardButton .mmd-clipboard-icon {
  margin: 1px !important;
  transform: scale(0.6);
}
.mmd-clipboard-icon {
  fill: currentColor;
  vertical-align: text-bottom;
}
.mmd-clipboard-copy-icon {
  color: rgb(101, 109, 118);
}
.mmd-clipboard-check-icon {
  color: rgb(26, 127, 55);
}
.mmd-tooltipped-no-delay:hover::before,
.mmd-tooltipped-no-delay:hover::after {
  animation-delay: 0s;
}
.mmd-tooltipped:hover::before,
.mmd-tooltipped:hover::after {
  display: inline-block;
  text-decoration: none;
  animation-name: tooltip-appear;
  animation-duration: .1s;
  animation-fill-mode: forwards;
  animation-timing-function: ease-in;
  animation-delay: .4s;
}
.mmd-tooltipped-w::before {
  top: 50%;
  bottom: 50%;
  left: -7px;
  margin-top: -6px;
  border-left-color: rgb(36, 41, 47);
}
.mmd-tooltipped::before {
  position: absolute;
  z-index: 1000001;
  display: none;
  width: 0;
  height: 0;
  color: rgb(36, 41, 47);
  pointer-events: none;
  content: "";
  border: 6px solid transparent;
  opacity: 0;
}
.mmd-tooltipped-w::after {
  right: 100%;
  bottom: 50%;
  margin-right: 6px;
  transform: translateY(50%);
}
.mmd-tooltipped::after {
  position: absolute;
  z-index: 1000000;
  display: none;
  padding: 0.5em 0.75em;
  font: normal normal 11px/1.5 'CMU Serif', 'Georgia', Helvetica, Arial, sans-serif;
  -webkit-font-smoothing: subpixel-antialiased;
  color: white;
  text-align: center;
  text-decoration: none;
  text-shadow: none;
  text-transform: none;
  letter-spacing: normal;
  word-wrap: break-word;
  white-space: pre;
  pointer-events: none;
  content: attr(aria-label);
  background: rgb(36, 41, 47);
  border-radius: 6px;
  opacity: 0;
}