/* One physical code line per number; the source scrolls beside a fixed gutter. */
html body .markdown-body pre.oi-numbered-template {
  display: flex;
  align-items: stretch;
  overflow: hidden;
  padding: 0 !important;
}
html body .markdown-body pre.oi-numbered-template > code,
html body .markdown-body pre.oi-numbered-template > .oi-template-gutter {
  font-family: Consolas, Monaco, monospace !important;
  font-size: 14px !important;
  line-height: 1.6 !important;
  white-space: pre !important;
  margin: 0 !important;
  padding-top: 12px !important;
  padding-bottom: 12px !important;
  box-sizing: border-box;
}
html body .markdown-body pre.oi-numbered-template > code {
  flex: 1 1 0;
  min-width: 0;
  display: block;
  overflow-x: auto;
  padding-left: 12px !important;
  padding-right: 12px !important;
  background: transparent !important;
  word-break: normal !important;
  overflow-wrap: normal !important;
}
html body .markdown-body pre.oi-numbered-template > .oi-template-gutter {
  flex: 0 0 3.5em;
  text-align: right;
  padding-left: 8px;
  padding-right: 10px;
  color: #526174;
  background: #edf1f6;
  border-right: 1px solid #ccd5e1;
  user-select: none;
}
html[data-sunion-theme="dark"] body .markdown-body pre.oi-numbered-template > .oi-template-gutter {
  color: #b6c5d8 !important;
  background: #172335 !important;
  border-color: #3b4b62 !important;
}
html[data-sunion-theme="dark"] body .CodeMirror-gutters {
  background: #172335 !important;
  border-color: #3b4b62 !important;
}
html[data-sunion-theme="dark"] body .CodeMirror-linenumber {
  color: #b6c5d8 !important;
  text-shadow: none !important;
}