body {
  margin: 8px 8px 2em 8px;
  line-height: 1.5;
  hyphens: auto; }

h1 {
  text-align: center; }

a:not(:hover) {
  text-decoration: none; }

#article h2 a,
#article h3 a,
#article h4 a,
#article h5 a,
#article h6 a {
  color: inherit; }

img {
  margin: 0 auto;
  display: block; }

#myflex {
  display: flex;
  flex-wrap: wrap;
  margin: 1px; }

.card {
  flex-basis: 25em;
  flex-shrink: 1;
  flex-grow: 1;
  max-width: 50em;
  margin: -1px; }

.middle {
  height: 100%; }

.inner {
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 0.01px; }

div.abstract {
  margin: 2em 2em 2em 2em;
  font-size: 95%; }

div.abstract-title {
  font-weight: bold;
  text-align: center;
  padding: 0;
  margin-bottom: 0.5em; }

#sidebar {
  line-height: 1.2;
  padding-left: 1.8em;
  box-sizing: border-box;
  max-width: calc(100% - 8px*2 - calc(50em + 1vw * 2));
  position: fixed;
  left: calc(max(calc(50em + 1vw * 2) + 8px, min(50% + calc(50em + 1vw * 2)/2, 100% - 33em - 8px))); }

@media not screen and (min-width: calc(calc(50em + 1vw * 2) + 15em + 8px*2)) {
  #sidebar {
    display: none; } }
#article {
  margin-left: calc(max(0px, min(100% - calc(50em + 1vw * 2) - 33em, 50% - calc(50em + 1vw * 2)/2)));
  padding-left: 1vw;
  padding-right: 1vw;
  padding-bottom: 4em;
  max-width: 50em; }

#topbody {
  max-width: 70em;
  margin: 0 auto; }

#TOC li {
  margin: 10px 0; }

#TOC > ul {
  padding-left: 0; }

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

p code {
  padding: 0.2em 0.2em; }

pre {
  /* How much the grey area in code blocks extends outwards */
  padding: 0.5em 0.5rem;
  margin: 1em 2em;
  overflow: auto; }

/* Needed for linenumbering:
    ```{.julia .numberLines startFrom="20"}
    function f()
    1+2
    end
    ``` */
.sourceCode {
  overflow: visible; }

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

pre.numberSource code > span a:first-child {
  counter-increment: source-line;
  position: relative; }

pre.numberSource code > span a:first-child::before {
  content: counter(source-line);
  position: absolute;
  left: calc(-0.3em - 0.5rem - 2em);
  user-select: none;
  text-align: right;
  vertical-align: baseline;
  display: inline-block;
  width: calc(2em); }

/* Some environments do not support the prefores-color-scheme media query. Then neither the light theme nor the dark theme will be used. We could just use the light theme as a default, but Idgaf.*/
@media (prefers-color-scheme: light) {
  html {
    color: #000000;
    background-color: #FFFFFF; }

  :target {
    background-color: #ff0; }

  .card {
    background-color: #F0F0F0;
    border: 2px solid #aaaaaa; }

  .middle {
    color: #000000; }

  pre,
  code {
    background-color: #F0F0F0; }

  /*
      echo '$highlighting-css$' > temp.css
      echo '`test`{.c}' | pandoc --template=./temp.css
  */
  pre.numberSource code > span > a:first-child::before {
    color: #aaaaaa; }

  pre.numberSource {
    border-left: 1px solid #aaaaaa; }

  code span.al {
    color: #ff0000;
    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 */
  /* BuiltIn */
  code span.cf {
    color: #007020;
    font-weight: bold; }

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

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

  /* 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: #ff0000;
    font-weight: bold; }

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

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

  /* Function */
  /* 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: #666666; }

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

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

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

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

  /* 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 */ }
@media (prefers-color-scheme: dark) {
  html {
    color: #FFFFFF;
    background-color: #000000; }

  :target {
    background-color: #880; }

  .card {
    background-color: #232629;
    border: 2px solid #cfcfc2; }

  .middle {
    color: #FFFFFF; }

  pre,
  code {
    background-color: #232629; }

  a {
    color: #8080FF; }

  /*
      echo '$highlighting-css$' > temp.css
      echo '`test`{.c}' | pandoc --highlight-style breezedark --template=./temp.css
  */
  pre.numberSource code > span > a:first-child::before {
    color: #7a7c7d; }

  pre.numberSource {
    border-left: 1px solid #7a7c7d; }

  div.sourceCode {
    color: #cfcfc2; }

  code span {
    color: #cfcfc2; }

  /* Normal */
  code span.al {
    color: #95da4c;
    background-color: #4d1f24;
    font-weight: bold; }

  /* Alert */
  code span.an {
    color: #3f8058; }

  /* Annotation */
  code span.at {
    color: #2980b9; }

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

  /* BaseN */
  code span.bu {
    color: #7f8c8d; }

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

  /* ControlFlow */
  code span.ch {
    color: #3daee9; }

  /* Char */
  code span.cn {
    color: #27aeae;
    font-weight: bold; }

  /* Constant */
  code span.co {
    color: #7a7c7d; }

  /* Comment */
  code span.cv {
    color: #7f8c8d; }

  /* CommentVar */
  code span.do {
    color: #a43340; }

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

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

  /* DecVal */
  code span.er {
    color: #da4453;
    text-decoration: underline; }

  /* Error */
  code span.ex {
    color: #0099ff;
    font-weight: bold; }

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

  /* Float */
  code span.fu {
    color: #8e44ad; }

  /* Function */
  code span.im {
    color: #27ae60; }

  /* Import */
  code span.in {
    color: #c45b00; }

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

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

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

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

  /* Preprocessor */
  code span.re {
    color: #2980b9;
    background-color: #153042; }

  /* RegionMarker */
  code span.sc {
    color: #3daee9; }

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

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

  /* String */
  code span.va {
    color: #27aeae; }

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

  /* VerbatimString */
  code span.wa {
    color: #da4453; }

  /* Warning */ }

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