/*

Original highlight.js style (c) Ivan Sagalaev <maniac@softwaremaniacs.org>

*/
pre {
  tab-size: 3;
}

.hljs {
  display: block;
}

/* Base color: saturation 0; */
.hljs,
.hljs-subst {
  color: #444;
}

.hljs-comment {
  color: #888888;
}

.hljs-keyword,
.hljs-attribute,
.hljs-selector-tag,
.hljs-meta-keyword,
.hljs-doctag,
.hljs-name {
  font-weight: bold;
}

/* User color: hue: 0 */
.hljs-type,
.hljs-string,
.hljs-number,
.hljs-selector-id,
.hljs-selector-class,
.hljs-quote,
.hljs-template-tag,
.hljs-deletion {
  color: #AA0000;
}

.hljs-title,
.hljs-section {
  color: #AA0000;
  font-weight: bold;
}

.hljs-regexp,
.hljs-symbol,
.hljs-variable,
.hljs-template-variable,
.hljs-link,
.hljs-selector-attr,
.hljs-selector-pseudo {
  color: #BC6060;
}

/* Language color: hue: 90; */
.hljs-literal {
  color: green;
}

.hljs-built_in,
.hljs-bullet,
.hljs-code,
.hljs-addition {
  color: green;
}

/* Meta color: hue: 200 */
.hljs-meta {
  color: #1f7199;
}

.hljs-meta-string {
  color: #4d99bf;
}

/* Misc effects */
.hljs-emphasis {
  font-style: italic;
}

.hljs-strong {
  font-weight: bold;
}

.draw-wrapper {
  break-inside: avoid;
}
.draw-wrapper .grid {
  display: grid;
  margin: 1rem auto;
  font-size: 13px;
  column-gap: 10px;
}
.draw-wrapper .grid .error {
  background-color: rgba(255, 0, 0, 0.3);
}
.draw-wrapper .grid .success {
  background-color: rgba(0, 255, 0, 0.3);
}
.draw-wrapper .grid code {
  white-space: nowrap;
}
.draw-wrapper .grid .node {
  justify-self: center;
  align-self: center;
  padding: 0 0.4rem;
  display: flex;
  justify-content: center;
  align-items: center;
}
.draw-wrapper .grid .node .content {
  position: relative;
}
.draw-wrapper .grid > svg {
  padding: 0;
}
.draw-wrapper .grid .node.diamond {
  width: 20px;
  height: 20px;
  border: 1px solid black;
  transform-origin: center;
  transform: rotate(45deg);
  padding: 0;
  position: relative;
}
.draw-wrapper .grid .node.diamond > .content {
  transform: rotate(-45deg) translate(-1.5px, -1.5px);
  width: 28px;
  height: 28px;
}
.draw-wrapper .grid .node.ellipse {
  border-radius: 50%;
  border: 1px solid black;
}
.draw-wrapper .grid .node.start {
  width: 20px;
  height: 20px;
  border-radius: 10px;
  background-color: black;
}
.draw-wrapper .grid .node.end {
  width: 20px;
  height: 20px;
  border-radius: 10px;
  border: 1px solid black;
  position: relative;
}
.draw-wrapper .grid .node.end::before {
  content: " ";
  position: absolute;
  top: 3px;
  left: 3px;
  width: 12px;
  height: 12px;
  border-radius: 50%;
  background-color: black;
}
.draw-wrapper .grid .node.dummy {
  width: 0;
  height: 0;
  padding: 0;
}
.draw-wrapper .grid .node.rect {
  padding: 0.5rem 1rem;
  border: 1px solid black;
}
.draw-wrapper .grid .node.round {
  padding: 0.5rem 1rem;
  border: 1px solid black;
  border-radius: 10px;
}

* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

body {
  font-family: system-ui, sans-serif;
  font-weight: normal;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  background-color: white;
}

h1,
h2,
h3,
h4 {
  font-family: "Iowan Old Style", "Palatino Linotype", "URW Palladio L", P052, serif; /* https://modernfontstacks.com/  */
}

code {
  font-size: 0.875em;
  color: #aa0000;
  white-space: pre;
  font-family: ui-monospace, "Source Code Pro", Menlo, Consolas, "DejaVu Sans Mono", monospace;
  font-weight: normal;
}

pre {
  font-family: ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, Consolas, "DejaVu Sans Mono", monospace;
  font-weight: normal;
  overflow-x: auto;
  padding: 1em 0.8em;
  background: #f0f0f0;
  border-radius: 4px;
  font-size: 75%;
}

pre > code {
  font-size: 100%;
}

p,
li,
pre,
figure,
h1,
h2,
h3,
h4 {
  margin-bottom: 1rem;
}

h1,
h2,
h3,
h4 {
  margin-top: 2rem;
}

ul,
ol,
figure,
pre,
.file-title,
.terminal {
  margin-top: 1rem;
}

/* hack that avoid page break after h2 et h3 */
p,
li {
  text-align: justify;
}

li {
  margin-left: 30px;
}

figure {
  text-align: center;
  break-inside: avoid;
}
figure figcaption {
  text-align: center;
  font-style: italic;
  font-size: 0.8em;
}
figure pre {
  text-align: left;
}
figure table {
  margin: 1rem auto;
}
figure img,
figure canvas {
  max-width: 100%;
}
figure img.half,
figure canvas.half {
  width: 50%;
}
figure img.third,
figure canvas.third {
  width: 33%;
}
figure img.third2,
figure canvas.third2 {
  width: 66%;
}
figure img.fourth,
figure canvas.fourth {
  width: 25%;
}
figure img.fourth3,
figure canvas.fourth3 {
  width: 75%;
}
figure img.zoom,
figure canvas.zoom {
  width: 75%;
}
figure img.max,
figure canvas.max {
  width: 100%;
}

h1 > small {
  display: block;
  font-size: 0.6em;
  font-weight: normal;
  color: gray;
  margin: 1rem 0;
}

.row {
  display: grid;
  grid-template-columns: repeat(12, 1fr);
  column-gap: 10px;
  justify-items: stretch;
  align-items: stretch;
  justify-content: stretch;
  align-content: stretch;
}
.row .span2 {
  grid-column-end: span 2;
}
.row .span3 {
  grid-column-end: span 3;
}
.row .span4 {
  grid-column-end: span 4;
}
.row .span5 {
  grid-column-end: span 5;
}
.row .span6 {
  grid-column-end: span 6;
}
.row .span7 {
  grid-column-end: span 7;
}
.row .span8 {
  grid-column-end: span 8;
}
.row .span9 {
  grid-column-end: span 9;
}
.row .span10 {
  grid-column-end: span 10;
}
.row .span11 {
  grid-column-end: span 11;
}

.indent {
  padding-left: 3ex;
}

.center {
  text-align: center;
}

.big {
  font-size: 1.5em;
}

.right {
  text-align: right;
}

code.wrap {
  white-space: pre-wrap !important;
}

.terminal {
  background-color: darkslategray;
  color: white;
  font-family: consolas, monospace;
  white-space: pre;
  padding: 1rem;
  font-size: 0.9em;
  margin-bottom: 1rem;
}
.terminal::before {
  content: "Terminal";
  display: block;
  background-color: black;
  text-align: center;
  margin: -1rem;
  padding: 0.5rem;
  margin-bottom: 1rem;
}

.file-title {
  margin-bottom: -1rem !important;
  font-family: consolas, monospace;
  font-size: 0.9em;
  color: white;
  padding: 0.5rem;
  text-align: center;
  background-color: #686868;
}
.file-title p {
  margin-bottom: 0 !important;
}

table {
  border-collapse: collapse;
  border: 2px solid black;
}
table td {
  border: 1px solid black;
}
table th {
  border: 2px solid black;
}
table td,
table th {
  padding: 0.5em;
  text-align: center;
}

.middle {
  display: flex;
  flex-flow: column nowrap;
  justify-content: center;
  align-items: stretch;
}

.nowrap {
  white-space: nowrap;
}

.wrap {
  white-space: normal;
  overflow-wrap: break-word;
}

@media print {
  p,
  h2,
  h3 {
    orphans: 3;
    widows: 3;
  }
  h2,
  h3,
  h4 {
    page-break-after: avoid;
  }
  h1,
  h2,
  h3,
  h4,
  pre,
  table,
  img {
    break-inside: avoid;
  }
  .break-before {
    page-break-before: always;
  }
  .break-after {
    page-break-after: always;
  }
}
.mode-deck .pygments pre {
  margin-bottom: 0;
}

.pygments {
  background: #f0f0f0;
  border-radius: 4px;
  margin: 1rem 0;
  /* Comment */
  /* Error */
  /* Keyword */
  /* Operator */
  /* Comment.Hashbang */
  /* Comment.Multiline */
  /* Comment.Preproc */
  /* Comment.PreprocFile */
  /* Comment.Single */
  /* Comment.Special */
  /* Generic.Deleted */
  /* Generic.Emph */
  /* Generic.EmphStrong */
  /* Generic.Error */
  /* Generic.Heading */
  /* Generic.Inserted */
  /* Generic.Output */
  /* Generic.Prompt */
  /* Generic.Strong */
  /* Generic.Subheading */
  /* Generic.Traceback */
  /* Keyword.Constant */
  /* Keyword.Declaration */
  /* Keyword.Namespace */
  /* Keyword.Pseudo */
  /* Keyword.Reserved */
  /* Keyword.Type */
  /* Literal.Number */
  /* Literal.String */
  /* Name.Attribute */
  /* Name.Builtin */
  /* Name.Class */
  /* Name.Constant */
  /* Name.Decorator */
  /* Name.Entity */
  /* Name.Exception */
  /* Name.Function */
  /* Name.Label */
  /* Name.Namespace */
  /* Name.Tag */
  /* Name.Variable */
  /* Operator.Word */
  /* Text.Whitespace */
  /* Literal.Number.Bin */
  /* Literal.Number.Float */
  /* Literal.Number.Hex */
  /* Literal.Number.Integer */
  /* Literal.Number.Oct */
  /* Literal.String.Affix */
  /* Literal.String.Backtick */
  /* Literal.String.Char */
  /* Literal.String.Delimiter */
  /* Literal.String.Doc */
  /* Literal.String.Double */
  /* Literal.String.Escape */
  /* Literal.String.Heredoc */
  /* Literal.String.Interpol */
  /* Literal.String.Other */
  /* Literal.String.Regex */
  /* Literal.String.Single */
  /* Literal.String.Symbol */
  /* Name.Builtin.Pseudo */
  /* Name.Function.Magic */
  /* Name.Variable.Class */
  /* Name.Variable.Global */
  /* Name.Variable.Instance */
  /* Name.Variable.Magic */
  /* Literal.Number.Integer.Long */
}
.pygments table {
  border: none;
}
.pygments td {
  border: none;
  text-align: left;
  padding: 0;
}
.pygments pre {
  line-height: 125%;
  margin: 0;
}
.pygments td.linenos .normal {
  color: inherit;
  background-color: transparent;
}
.pygments span.linenos {
  color: inherit;
  background-color: transparent;
}
.pygments td.linenos .special {
  color: #000000;
  background-color: #ffffc0;
}
.pygments span.linenos.special {
  color: #000000;
  background-color: #ffffc0;
}
.pygments .hll {
  display: block;
  background-color: #ffffcc;
  border: 3px solid #aa0000;
  border-radius: 0.3em;
  padding: 2px 6px;
  margin: -5px -9px;
}
.pygments .c {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .err {
  border: 1px solid #ff0000;
}
.pygments .k {
  color: #008000;
  font-weight: bold;
}
.pygments .o {
  color: #666666;
}
.pygments .ch {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .cm {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .cp {
  color: #9c6500;
}
.pygments .cpf {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .c1 {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .cs {
  color: #3d7b7b;
  font-style: italic;
}
.pygments .gd {
  color: #a00000;
}
.pygments .ge {
  font-style: italic;
}
.pygments .ges {
  font-weight: bold;
  font-style: italic;
}
.pygments .gr {
  color: #e40000;
}
.pygments .gh {
  color: #000080;
  font-weight: bold;
}
.pygments .gi {
  color: #008400;
}
.pygments .go {
  color: #717171;
}
.pygments .gp {
  color: #000080;
  font-weight: bold;
}
.pygments .gs {
  font-weight: bold;
}
.pygments .gu {
  color: #800080;
  font-weight: bold;
}
.pygments .gt {
  color: #0044dd;
}
.pygments .kc {
  color: #008000;
  font-weight: bold;
}
.pygments .kd {
  color: #008000;
  font-weight: bold;
}
.pygments .kn {
  color: #008000;
  font-weight: bold;
}
.pygments .kp {
  color: #008000;
}
.pygments .kr {
  color: #008000;
  font-weight: bold;
}
.pygments .kt {
  color: #b00040;
}
.pygments .m {
  color: #666666;
}
.pygments .s {
  color: #aa0000;
}
.pygments .na {
  color: #687822;
}
.pygments .nb {
  color: #008000;
}
.pygments .nc {
  color: #0000ff;
  font-weight: bold;
}
.pygments .no {
  color: #880000;
}
.pygments .nd {
  color: #aa22ff;
}
.pygments .ni {
  color: #717171;
  font-weight: bold;
}
.pygments .ne {
  color: #cb3f38;
  font-weight: bold;
}
.pygments .nf {
  color: #0000ff;
}
.pygments .nl {
  color: #767600;
}
.pygments .nn {
  color: #0000ff;
  font-weight: bold;
}
.pygments .nt {
  color: #008000;
  font-weight: bold;
}
.pygments .nv {
  color: #19177c;
}
.pygments .ow {
  color: #aa22ff;
  font-weight: bold;
}
.pygments .w {
  color: #bbbbbb;
}
.pygments .mb {
  color: #666666;
}
.pygments .mf {
  color: #666666;
}
.pygments .mh {
  color: #666666;
}
.pygments .mi {
  color: #666666;
}
.pygments .mo {
  color: #666666;
}
.pygments .sa {
  color: #aa0000;
}
.pygments .sb {
  color: #aa0000;
}
.pygments .sc {
  color: #aa0000;
}
.pygments .dl {
  color: #aa0000;
}
.pygments .sd {
  color: #aa0000;
  font-style: italic;
}
.pygments .s2 {
  color: #aa0000;
}
.pygments .se {
  color: #aa5d1f;
  font-weight: bold;
}
.pygments .sh {
  color: #aa0000;
}
.pygments .si {
  color: #a45a77;
  font-weight: bold;
}
.pygments .sx {
  color: #008000;
}
.pygments .sr {
  color: #a45a77;
}
.pygments .s1 {
  color: #aa0000;
}
.pygments .ss {
  color: #19177c;
}
.pygments .bp {
  color: #008000;
}
.pygments .fm {
  color: #0000ff;
}
.pygments .vc {
  color: #19177c;
}
.pygments .vg {
  color: #19177c;
}
.pygments .vi {
  color: #19177c;
}
.pygments .vm {
  color: #19177c;
}
.pygments .il {
  color: #666666;
}

@page {
  margin: 1cm;
}
html {
  background-color: white;
}

h3 {
  font-size: 1em;
  font-variant: small-caps;
  font-weight: bolder;
}

strong {
  font-weight: bold;
  color: #AA0000;
}

li small,
li span.small {
  display: block;
  padding-left: 3ex;
  margin-top: 0.5em;
  font-size: 1em;
  color: gray;
}

h1 {
  cursor: pointer;
}

.mode-deck p,
.mode-deck li,
.mode-deck pre,
.mode-deck figure,
.mode-deck h1,
.mode-deck h2,
.mode-deck h3,
.mode-deck h4 {
  margin-bottom: 2rem;
}
.mode-deck li p,
.mode-deck li li,
.mode-deck li pre,
.mode-deck li figure,
.mode-deck li h1,
.mode-deck li h2,
.mode-deck li h3,
.mode-deck li h4 {
  margin-bottom: 1rem;
}
.mode-deck .document-only {
  display: none;
}
.mode-deck .deck-before,
.mode-deck .deck-previous,
.mode-deck .deck-next,
.mode-deck .deck-after {
  position: absolute;
  left: -1000vw;
}
.mode-deck .deck-current {
  display: flex;
  font-size: 3.5vh;
  width: 133vh;
  min-height: 100vh;
  flex-direction: column;
  justify-content: center;
  margin: 0 auto;
  padding: 12vh 4vh 4vh 4vh;
}
.mode-deck .deck-current h2 {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  margin: 0;
  padding: 2vh 10vh;
  font-weight: 700;
  font-size: 1.2em;
  color: white;
  background-color: green;
  text-align: right;
  z-index: 1000;
}
.mode-deck .deck-current h1 {
  font-weight: 700;
  font-size: 2em;
}
.mode-deck .deck-current > * {
  flex: 0 0 auto;
}
.mode-deck .deck-current.full {
  width: 100vw;
  height: 100vh;
  padding: 0;
}
.mode-deck .deck-current.full h2 {
  background-color: rgba(0, 0, 0, 0.5);
}
.mode-deck .deck-current.full img {
  width: 100%;
  height: 100%;
  object-fit: cover;
  margin: 0;
}
.mode-deck .deck-current.code {
  width: 95%;
}
.mode-deck .deck-current.code::before {
  position: fixed;
  background-color: #f0f0f0;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  content: "";
  z-index: 10;
  display: block;
}
.mode-deck .deck-current.code::after {
  content: "";
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  width: 3%;
  background-color: #bbb;
  z-index: 20;
}
.mode-deck .deck-current.code > * {
  z-index: 100;
}
.mode-deck .deck-current.code h2 {
  z-index: 1000;
  background-color: #555;
}

.mode-document {
  max-width: 60ex;
  margin: 0 auto;
  padding: 1rem;
}
.mode-document .deck-only {
  display: none;
}
.mode-document h2 {
  font-size: 1.1em;
}
.mode-document h1 {
  text-align: right;
  border-bottom: 1px solid lightgray;
  padding: 1em 0;
}
.mode-document .full img {
  max-width: 100%;
}

@media (print) {
  .mode-document {
    padding: 0;
  }
}