@charset "UTF-8";
/*
@use "theme";
@use "colors";
*/
.highlight .hll {
  background-color: #ffc;
}

.highlight .c {
  color: #999;
} /* Comment */
.highlight .err {
  color: #a00;
  background-color: #faa;
} /* Error */
.highlight .k {
  color: #069;
} /* Keyword */
.highlight .o {
  color: #555;
} /* Operator */
.highlight .cm {
  color: #09f;
  font-style: italic;
} /* Comment.Multiline */
.highlight .cp {
  color: #099;
} /* Comment.Preproc */
.highlight .c1 {
  color: #999;
} /* Comment.Single */
.highlight .cs {
  color: #999;
} /* Comment.Special */
.highlight .gd {
  background-color: #fcc;
  border: 1px solid #c00;
} /* Generic.Deleted */
.highlight .ge {
  font-style: italic;
} /* Generic.Emph */
.highlight .gr {
  color: #f00;
} /* Generic.Error */
.highlight .gh {
  color: #030;
} /* Generic.Heading */
.highlight .gi {
  background-color: #cfc;
  border: 1px solid #0c0;
} /* Generic.Inserted */
.highlight .go {
  color: #aaa;
} /* Generic.Output */
.highlight .gp {
  color: #009;
} /* Generic.Prompt */
/* Generic.Strong */
.highlight .gu {
  color: #030;
} /* Generic.Subheading */
.highlight .gt {
  color: #9c6;
} /* Generic.Traceback */
.highlight .kc {
  color: #069;
} /* Keyword.Constant */
.highlight .kd {
  color: #069;
} /* Keyword.Declaration */
.highlight .kn {
  color: #069;
} /* Keyword.Namespace */
.highlight .kp {
  color: #069;
} /* Keyword.Pseudo */
.highlight .kr {
  color: #069;
} /* Keyword.Reserved */
.highlight .kt {
  color: #078;
} /* Keyword.Type */
.highlight .m {
  color: #f60;
} /* Literal.Number */
.highlight .s {
  color: #d44950;
} /* Literal.String */
.highlight .na {
  color: #4f9fcf;
} /* Name.Attribute */
.highlight .nb {
  color: #366;
} /* Name.Builtin */
.highlight .nc {
  color: #0a8;
} /* Name.Class */
.highlight .no {
  color: #360;
} /* Name.Constant */
.highlight .nd {
  color: #99f;
} /* Name.Decorator */
.highlight .ni {
  color: #999;
} /* Name.Entity */
.highlight .ne {
  color: #c00;
} /* Name.Exception */
.highlight .nf {
  color: #c0f;
} /* Name.Function */
.highlight .nl {
  color: #99f;
} /* Name.Label */
.highlight .nn {
  color: #0cf;
} /* Name.Namespace */
.highlight .nt {
  color: #2f6f9f;
} /* Name.Tag */
.highlight .nv {
  color: #033;
} /* Name.Variable */
.highlight .ow {
  color: #000;
} /* Operator.Word */
.highlight .w {
  color: #bbb;
} /* Text.Whitespace */
.highlight .mf {
  color: #f60;
} /* Literal.Number.Float */
.highlight .mh {
  color: #f60;
} /* Literal.Number.Hex */
.highlight .mi {
  color: #f60;
} /* Literal.Number.Integer */
.highlight .mo {
  color: #f60;
} /* Literal.Number.Oct */
.highlight .sb {
  color: #c30;
} /* Literal.String.Backtick */
.highlight .sc {
  color: #c30;
} /* Literal.String.Char */
.highlight .sd {
  color: #c30;
  font-style: italic;
} /* Literal.String.Doc */
.highlight .s2 {
  color: #c30;
} /* Literal.String.Double */
.highlight .se {
  color: #c30;
} /* Literal.String.Escape */
.highlight .sh {
  color: #c30;
} /* Literal.String.Heredoc */
.highlight .si {
  color: #a00;
} /* Literal.String.Interpol */
.highlight .sx {
  color: #c30;
} /* Literal.String.Other */
.highlight .sr {
  color: #3aa;
} /* Literal.String.Regex */
.highlight .s1 {
  color: #c30;
} /* Literal.String.Single */
.highlight .ss {
  color: #fc3;
} /* Literal.String.Symbol */
.highlight .bp {
  color: #366;
} /* Name.Builtin.Pseudo */
.highlight .vc {
  color: #033;
} /* Name.Variable.Class */
.highlight .vg {
  color: #033;
} /* Name.Variable.Global */
.highlight .vi {
  color: #033;
} /* Name.Variable.Instance */
.highlight .il {
  color: #f60;
} /* Literal.Number.Integer.Long */
.css .o,
.css .o + .nt,
.css .nt + .nt {
  color: #999;
}

/* Transfered from poole.css */
/* Code */
code,
pre {
  font-family: Menlo, Monaco, "Courier New", monospace;
}

code {
  padding: 0.25em 0.5em;
  font-size: 85%;
  color: #bf616a;
  background-color: #f9f9f9;
  border-radius: 3px;
}

pre {
  display: block;
  margin-top: 0;
  margin-bottom: 1rem;
  padding: 1rem;
  font-size: 0.8rem;
  line-height: 1.4;
  white-space: pre;
  white-space: pre-wrap;
  word-break: break-all;
  word-wrap: break-word;
  background-color: #f9f9f9;
}

pre code {
  padding: 0;
  font-size: 100%;
  color: inherit;
  background-color: transparent;
}

/* Gist via GitHub Pages */
.gist .gist-file {
  font-family: Menlo, Monaco, "Courier New", monospace !important;
}

.gist .markdown-body {
  padding: 15px;
}

.gist pre {
  padding: 0;
  background-color: transparent;
}

.gist .gist-file .gist-data {
  font-size: 0.8rem !important;
  line-height: 1.4;
}

.gist code {
  padding: 0;
  color: inherit;
  background-color: transparent;
  border-radius: 0;
}

/* Pygments via Jekyll */
.highlight {
  margin-bottom: 1rem;
  border-radius: 4px;
}

.highlight pre {
  margin-bottom: 0;
}

/*
 * Proof Theorem Environments
 * Based on amsthm package:
 * https://www.maths.tcd.ie/~dwilkins/LaTeXPrimer/Theorems.html and
 * https://golem.ph.utexas.edu/wiki/instiki/show/Theorems
 */
article {
  counter-reset: section subsection refno eqno;
}

h2.label:before {
  margin-right: 1em;
  content: counter(section) "  ";
  counter-increment: section;
  counter-reset: subsection refno;
}

h3.label:before {
  margin-right: 0.8em;
  content: counter(section) "." counter(subsection) "  ";
  counter-increment: subsection;
}

.claim .label:after,
.conjecture .label:after,
.corollary .label:after,
.definition .label:after,
.example .label:after,
.exercise .label:after,
.lemma .label:after,
.notation .label:after,
.note .label:after,
.problem .label:after,
.proposition .label:after,
.question .label:after,
.remark .label:after,
.theorem .label:after {
  content: " " counter(section) "." counter(refno) ".";
  counter-increment: refno;
}

.equation .label:after {
  content: "(" counter(eqno) ")";
  counter-increment: eqno;
}

.theorem, .lemma, .corollary, .proposition, .conjecture {
  font-style: italic;
  margin: 1em 0 1em;
}

.definition {
  font-style: normal;
  margin: 1em 0 1em;
}

.remark {
  font-style: normal;
  margin: 0.7em 0 0.7em;
}

.label {
  font-style: normal;
  font-weight: bold;
}

.label:after {
  content: ".";
}

.label* {
  font-style: normal;
  font-weight: bold;
}

.proof .label {
  font-style: normal;
}

.proof:after {
  content: " ■";
  text-align: right;
}

/*
 * ED SPECIAL LAYOUTS, modified
 * Copyright (c) 2016 Alex Gil.
 */
.centered {
  text-align: center;
}

.larger {
  font-size: 1.6rem;
}

.large {
  font-size: 1.4rem;
}

.small {
  font-size: 0.8rem;
}

.underline {
  text-decoration: underline;
}

div.toc {
  margin-bottom: 4rem;
}

.post .date,
.post .byline {
  font-style: italic;
  font-weight: 300;
  letter-spacing: 0;
  margin-top: -0.5rem;
}

/* Footnotes styles*/
sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sup {
  top: -0.5em;
}

.footnotes {
  line-height: 1.2rem;
  font-size: 0.9rem;
  letter-spacing: 0.01rem;
}

.footnotes .foot-block {
  display: inline-block;
  padding: 0 4rem 0 2rem;
  margin-bottom: 0.8rem;
  font-style: italic;
}

a.footnote {
  padding-left: 0.1rem;
  font-size: 0.66rem;
}

/*Bibliography styles*/
ol.bibliography {
  list-style-type: none;
  padding-left: 1rem;
  text-indent: -1rem;
}

*,
::before,
::after {
  box-sizing: border-box;
  scroll-behavior: smooth;
  border-color: var(--border);
  font-family: "Outfit", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

html {
  background-color: var(--background);
}

body {
  background-color: var(--background);
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: "Playfair Display", Georgia, serif;
}

p {
  color: var(--muted-foreground);
}

img.feature {
  height: 100%;
  width: 100%;
  object-fit: contain;
}

img > div {
  margin: auto !important;
}

.headline {
  text-wrap: wrap;
}

hr {
  width: 100%;
  border: 1px solid var(--app-border);
}

#x-footer {
  padding-top: 14px;
  padding-bottom: 15px;
  margin-top: 5px;
  background-color: #eee;
  border-top-style: solid;
  border-top-width: 1px;
}

.highlighted {
  background-color: #fdff9e;
}

#x-pkginfo {
  margin-top: 25px;
  border-top: 1px solid #ccc;
  padding-top: 20px;
  margin-bottom: 15px;
}

code {
  background-color: inherit;
  border: none;
  color: inherit;
  padding: 0;
  font-family: monospace !important;
}

pre {
  display: flex;
  padding: 9.5px;
  margin: 0 0 0px;
  font-size: 13px;
  line-height: 1.42857143;
  background-color: var(--app-surface);
  border: 1px solid var(--app-border);
  border-radius: 4px;
  overflow: auto;
  font-family: monospace !important;
}

dd {
  margin: 0;
}

.funcdecl > pre {
  white-space: pre-wrap;
  word-break: break-all;
  word-wrap: break-word;
}

pre .com {
  color: #006600;
}

.decl {
  position: relative;
}

.decl > a {
  position: absolute;
  top: 0px;
  right: 0px;
  display: none;
  border: 1px solid var(--app-border);
  border-top-right-radius: 4px;
  border-bottom-left-radius: 4px;
  padding-left: 4px;
  padding-right: 4px;
}

.decl > a:hover {
  background-color: var(--app-surface);
  text-decoration: none;
}

.decl:hover > a {
  display: block;
}

a {
  color: var(--app-link);
  cursor: pointer;
}

#x-footer {
  background-color: hsl(209, 51%, 92%);
  border-color: hsl(209, 51%, 88%);
}

a.permalink {
  display: none;
}

a.uses {
  display: none;
  color: var(--app-text-muted);
  font-size: 0.8em;
}

h1:hover .permalink,
h2:hover .permalink,
h3:hover .permalink,
h4:hover .permalink,
h5:hover .permalink,
h6:hover .permalink,
h1:hover .uses,
h2:hover .uses,
h3:hover .uses,
h4:hover .uses,
h5:hover .uses,
h6:hover .uses {
  display: inline;
}

.synopsis {
  opacity: 0.87;
}

.additional-info {
  display: block;
  opacity: 0.54;
  text-transform: uppercase;
  font-size: 0.75em;
}

button {
  cursor: pointer;
}

.button-sm {
  padding-top: 0.5rem;
  padding-bottom: 0.5rem;
  padding-right: 1rem;
  padding-left: 1rem;
  border-radius: 0.5rem;
  cursor: pointer;
}

.button-md {
  padding-top: 0.5rem;
  padding-bottom: 0.5rem;
  padding-right: 1rem;
  padding-left: 1rem;
  border-radius: 0.5rem;
  cursor: pointer;
}

.button-lg {
  padding-top: 1rem;
  padding-bottom: 1rem;
  padding-right: 1.5rem;
  padding-left: 1.5rem;
  border-radius: 0.5rem;
  cursor: pointer;
}

.button-default {
  background-color: var(--primary);
  color: white;
  transition: all 200ms;
}

.button-default:hover {
  background-color: color-mix(in srgb, var(--primary) 90%, transparent);
}

.button-outline {
  border: 2px solid var(--border);
  transition: all 200ms;
}

.button-outline:hover {
  background-color: color-mix(in srgb, var(--muted) 90%, transparent);
}

.button-ghost {
  background-color: transparent;
  transition: all 200ms;
}

.button-ghost:hover {
  background-color: color-mix(in srgb, var(--muted) 90%, transparent);
}

.dark pre,
.dark code[class*=language-],
.dark pre[class*=language-] {
  background-color: var(--app-surface) !important;
  color: var(--app-text) !important;
  text-shadow: none !important;
  border-color: var(--app-border);
}

.dark pre[class*=language-] {
  border: 1px solid var(--app-border);
}

.dark .token.comment,
.dark .token.prolog,
.dark .token.doctype,
.dark .token.cdata {
  color: var(--app-text-muted);
}

.dark .token.string,
.dark .token.attr-name,
.dark .token.char,
.dark .token.builtin,
.dark .token.inserted {
  color: #86efac;
}

.dark .token.keyword,
.dark .token.atrule,
.dark .token.attr-value {
  color: #93c5fd;
}

.dark .token.function,
.dark .token.class-name {
  color: #f9a8d4;
}

.dark .token.operator,
.dark .token.punctuation {
  color: #cbd5e1;
}

.dark .token.property,
.dark .token.tag,
.dark .token.boolean,
.dark .token.number,
.dark .token.constant,
.dark .token.symbol,
.dark .token.deleted {
  color: #fca5a5;
}

/*# sourceMappingURL=style.css.map */