@charset "UTF-8";
@import url("https://fonts.googleapis.com/css2?family=Source+Sans+Pro:ital,wght@0,300;0,400;0,700;1,300;1,400;1,700&family=Source+Code+Pro:ital,wght@0,200;0,400;0,600;1,200;1,400;1,600&display=swap");
body {
  color: #345;
  background-color: #fff;
  font: 300 13pt/17pt "Source Sans Pro", sans-serif;
  max-width: 800px;
  margin: 1em auto;
  padding: 0 1em; }

a {
  color: #4f4485;
  background: #ebeaf1;
  text-decoration: none;
  font-weight: 400;
  border: 1px solid transparent;
  border-radius: 3px;
  padding: 1px 2px;
  margin: 0px -2px; }

a:visited {
  color: #8982ad;
  background: #fff; }

a:hover {
  color: #4f4485;
  background: #ebeaf1;
  border-color: #8982ad; }

em.filename, em.progname, em.funname {
  color: #123;
  font-weight: 400; }

em.filename {
  font-style: normal; }

.lang-sh em {
  font-style: normal;
  color: #8AC; }

h1 {
  margin: 1em 0;
  font: 200 32pt "Source Code Pro", monospace; }

h1.head {
  text-align: center; }

h2 {
  margin: 1em 0 0.5em 0;
  font: 200 24pt "Source Code Pro", monospace; }

h3 {
  margin: 1em 0 0.5em 0;
  font: 200 16pt "Source Code Pro", monospace; }

li, p {
  margin: 0.75em 0; }

input.click-to-copy,
textarea.click-to-copy {
  background-color: #cce0cc;
  border: 1px dashed;
  padding: 2px 6px;
  font: 400 11pt "Source Code Pro", monospace;
  overflow-x: visible;
  cursor: copy; }

input.click-to-copy {
  width: 90%; }

textarea.click-to-copy {
  display: inline-block;
  vertical-align: top; }

pre {
  border: none !important;
  margin: 0.5em 0; }

.section-heads {
  counter-reset: section; }
  .section-heads > section > h2::before {
    counter-increment: section;
    content: counter(section) ". "; }
  .section-heads > section ol {
    list-style-type: lower-alpha; }

table.neutral {
  margin: 1em auto;
  width: 100%;
  border-spacing: 6pt 0; }
  table.neutral a {
    background: transparent; }
  table.neutral a:hover {
    background: #fff; }
  table.neutral th {
    color: #fff;
    background-color: #454545;
    text-align: center;
    font: 400 16pt "Source Sans Pro", sans-serif;
    padding: 0.5ex;
    border-radius: 10px 10px 0 0; }
  table.neutral td {
    padding: 2pt 4pt 2pt 8pt;
    color: #454545;
    background-image: linear-gradient(#dadada, #fff);
    overflow-x: auto;
    vertical-align: top; }
    table.neutral td > span:last-child {
      display: block;
      text-align: right;
      margin: 2pt; }
  table.neutral tr.middle td, table.neutral td.middle {
    vertical-align: middle; }
  table.neutral tr.bottom td, table.neutral td.bottom {
    vertical-align: bottom; }

table.bad_good {
  margin: 1em auto;
  width: 100%;
  border-spacing: 6pt 0;
  table-layout: fixed; }
  table.bad_good a {
    background: transparent; }
  table.bad_good a:hover {
    background: #fff; }
  table.bad_good th {
    color: #fff;
    background-color: #454545;
    text-align: center;
    font: 400 16pt "Source Sans Pro", sans-serif;
    padding: 0.5ex;
    border-radius: 10px 10px 0 0; }
  table.bad_good td {
    padding: 2pt 4pt 2pt 8pt;
    color: #454545;
    background-image: linear-gradient(#dadada, #fff);
    overflow-x: auto;
    vertical-align: top; }
    table.bad_good td > span:last-child {
      display: block;
      text-align: right;
      margin: 2pt; }
  table.bad_good tr.middle td, table.bad_good td.middle {
    vertical-align: middle; }
  table.bad_good tr.bottom td, table.bad_good td.bottom {
    vertical-align: bottom; }
  table.bad_good td {
    width: 100%; }
  table.bad_good th:first-child {
    background-color: #660000; }
  table.bad_good th:last-child {
    background-color: #006600; }
  table.bad_good td:first-child {
    background-image: linear-gradient(#e0cccc, #fff); }
  table.bad_good td:last-child {
    background-image: linear-gradient(#cce0cc, #fff); }

table.original_mutated {
  margin: 1em auto;
  width: 100%;
  border-spacing: 6pt 0;
  table-layout: fixed; }
  table.original_mutated a {
    background: transparent; }
  table.original_mutated a:hover {
    background: #fff; }
  table.original_mutated th {
    color: #fff;
    background-color: #454545;
    text-align: center;
    font: 400 16pt "Source Sans Pro", sans-serif;
    padding: 0.5ex;
    border-radius: 10px 10px 0 0; }
  table.original_mutated td {
    padding: 2pt 4pt 2pt 8pt;
    color: #454545;
    background-image: linear-gradient(#dadada, #fff);
    overflow-x: auto;
    vertical-align: top; }
    table.original_mutated td > span:last-child {
      display: block;
      text-align: right;
      margin: 2pt; }
  table.original_mutated tr.middle td, table.original_mutated td.middle {
    vertical-align: middle; }
  table.original_mutated tr.bottom td, table.original_mutated td.bottom {
    vertical-align: bottom; }
  table.original_mutated td {
    width: 100%; }
  table.original_mutated th:first-child {
    background-color: #000066; }
  table.original_mutated th:last-child {
    background-color: #666600; }
  table.original_mutated td:first-child {
    background-image: linear-gradient(#cccce0, #fff); }
  table.original_mutated td:last-child {
    background-image: linear-gradient(#e0e0cc, #fff); }

table.enumerated tbody, table.enumerated thead {
  counter-reset: rule; }
  table.enumerated tbody tr::before, table.enumerated thead tr::before {
    display: table-cell;
    width: 2%;
    counter-increment: rule;
    content: counter(rule,lower-alpha) ". ";
    vertical-align: middle; }
table.enumerated thead tr::before {
  visibility: hidden; }

pre code {
  font: 400 11pt "Source Code Pro", monospace; }

pre, code {
  font: 400 12pt "Source Code Pro", monospace; }

em.nt {
  font: 400 110%/100% "Source Sans Pro", sans-serif;
  font-style: italic;
  text-transform: uppercase;
  border: 0.5px solid #345;
  border-radius: 3px;
  padding: 0px 3px;
  margin: 1px;
  background-color: #fff8; }
  em.nt, em.nt * {
    color: #3b2f77 !important;
    font-weight: inherit         !important; }
  em.nt::before {
    content: '⟨'; }
  em.nt::after {
    content: '⟩'; }
  em.nt::before, em.nt::after {
    font-style: normal; }

/* Syntax colors */
pre, code {
  /* literal */
  /* string */
  /* keyword */
  /* comment */
  /* type */
  /* punctuation */
  /* plaintext */
  /* html/xml tag    */
  /* html/xml attribute name  */
  /* html/xml attribute value */
  /* decimal */ }
  pre a, pre a:hover, pre a:visited, code a, code a:hover, code a:visited {
    display: inline-block;
    color: inherit;
    background: transparent;
    border: none;
    border-radius: 3px;
    border: 1px dotted #8982ad;
    padding: 1pt;
    margin: 1pt 2pt 1pt -2pt; }
  pre a:hover, code a:hover {
    border-style: solid; }
  pre .lit, code .lit {
    color: #048; }
  pre .str, code .str {
    color: #048; }
  pre .kwd, code .kwd {
    color: #804;
    font-weight: 600; }
  pre .com, code .com {
    color: #876;
    font-style: italic; }
  pre .typ, code .typ {
    color: #066; }
  pre .pun, code .pun {
    color: #357; }
  pre .pln, code .pln {
    color: #123; }
  pre .dec, code .dec {
    color: #999900; }

@media print {
  pre .str, code .str {
    color: #060; }
  pre .kwd, code .kwd {
    color: #006;
    font-weight: bold; }
  pre .com, code .com {
    color: #600;
    font-style: italic; }
  pre .typ, code .typ {
    color: #404;
    font-weight: bold; }
  pre .lit, code .lit {
    color: #044; }
  pre .pun, code .pun {
    color: #440; }
  pre .pln, code .pln {
    color: #000; }
  pre .tag, code .tag {
    color: #006;
    font-weight: bold; }
  pre .atn, code .atn {
    color: #404; }
  pre .atv, code .atv {
    color: #060; } }
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; }

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