code {
  font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
  font-size: 85%;
  margin: 0;
  white-space: pre-wrap;
}

pre {
  margin: 1em 0;
  overflow: auto;
}

pre code {
  padding: 0;
  overflow: visible;
}

.sourceCode {
  background-color: white;
}

span.smallcaps {
  font-variant: small-caps;
}

span.underline {
  text-decoration: underline;
}

div.column {
  display: inline-block;
  vertical-align: top;
  width: 50%;
}

div.hanging-indent {
  margin-left: 1.5em;
  text-indent: -1.5em;
}

ul.task-list {
  list-style: none;
}

pre > code.sourceCode {
  white-space: pre;
  position: relative;
}

code.sourceCode > span {
  color: inherit;
  text-decoration: inherit;
}

pre > code.sourceCode > span {
  display: inline-block;
  line-height: 1.25;
}

pre.numberSource code > span {
  position: relative;
  left: -4em;
  counter-increment: source-line;
}

pre > code.sourceCode > span:empty {
  height: 1.2em;
}

div.sourceCode {
  margin: 1em 0;
}

pre.sourceCode {
  margin: 0;
}

@media screen {
  div.sourceCode {
    overflow: auto;
  }
}

@media print {
  pre > code.sourceCode {
    white-space: pre-wrap;
  }

  pre > code.sourceCode > span {
    text-indent: -5em;
    padding-left: 5em;
  }
}

pre.numberSource code {
  counter-reset: source-line 0;
}

pre.numberSource code > span > a:first-child::before {
  content: counter(source-line);
  position: relative;
  left: -1em;
  text-align: right;
  vertical-align: baseline;
  border: none;
  display: inline-block;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  padding: 0 4px;
  width: 4em;
  color: #aaa;
}

pre.numberSource {
  margin-left: 3em;
  border-left: 1px solid #aaa;
  padding-left: 4px;
}

@media screen {
  pre > code.sourceCode > span > a:first-child::before {
    text-decoration: underline;
  }
}

code span.al {
  color: #f00;
  font-weight: bold;
}

/* Alert */
code span.an {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}

/* Annotation */
code span.at {
  color: #7d9029;
}

/* Attribute */
code span.bn {
  color: #40a070;
}

/* BaseN */
// code span.bu {
// }

/* BuiltIn */
code span.cf {
  color: #007020;
  font-weight: bold;
}

/* ControlFlow */
code span.ch {
  color: #4070a0;
}

/* Char */
code span.cn {
  color: #800;
}

/* Constant */
code span.co {
  color: #60a0b0;
  font-style: italic;
}

/* Comment */
code span.cv {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}

/* CommentVar */
code span.do {
  color: #ba2121;
  font-style: italic;
}

/* Documentation */
code span.dt {
  color: #902000;
}

/* DataType */
code span.dv {
  color: #40a070;
}

/* DecVal */
code span.er {
  color: #f00;
  font-weight: bold;
}

/* Error */
// code span.ex {
// }

/* Extension */
code span.fl {
  color: #40a070;
}

/* Float */
code span.fu {
  color: #06287e;
}

/* Function */
// code span.im {
// }

/* Import */
code span.in {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}

/* Information */
code span.kw {
  color: #007020;
  font-weight: bold;
}

/* Keyword */
code span.op {
  color: #666;
}

/* Operator */
code span.ot {
  color: #007020;
}

/* Other */
code span.pp {
  color: #bc7a00;
}

/* Preprocessor */
code span.sc {
  color: #4070a0;
}

/* SpecialChar */
code span.ss {
  color: #b68;
}

/* SpecialString */
code span.st {
  color: #4070a0;
}

/* String */
code span.va {
  color: #19177c;
}

/* Variable */
code span.vs {
  color: #4070a0;
}

/* VerbatimString */
code span.wa {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}

/* Warning */
.display.math {
  display: block;
  text-align: center;
  margin: 0.5rem auto;
}
