* {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  line-height: 1.3;
}

html,
body {
  margin: 0;
}

html {
  font-family: "EB Garamond", "Times New Roman", Times, serif;
  font-size: 18px;
  overflow-y: scroll;
}
@media (max-width: 900px) {
  html {
    font-size: 18px;
  }
}

body {
  --text-color: #111;
  --text-shade: #353535;
  --bg-color: #fff;
  --bg-color-card: #f9f9f9;
  --link-color: lch(55.05% 102.93 317.74deg);
  --note-color: #111;
  --custom-highlight-color: lch(89% 132 317deg);
  --highlight-text-color: #111;
  --code-color: #bf616a;
  --code-color-border: rgba(191, 97, 106, 0.15);
}
body.dark-theme {
  --text-color: #e5e5e5;
  --text-shade: #aaa;
  --bg-color: #121212;
  --bg-color-card: rgb(30.75, 30.75, 30.75);
  --link-color: lch(72% 90 309deg);
  --note-color: #111;
  --custom-highlight-color: lch(55.05% 102.93 317.74deg);
  --highlight-text-color: #e5e5e5;
  --code-color: lch(72% 90 309deg);
  --code-color-border: lch(72% 90 309deg / 0.15);
}

@media (prefers-color-scheme: dark) {
  body {
    --text-color: #e5e5e5;
    --text-shade: #aaa;
    --bg-color: #121212;
    --bg-color-card: rgb(30.75, 30.75, 30.75);
    --link-color: lch(72% 90 309deg);
    --note-color: #111;
    --custom-highlight-color: lch(55.05% 102.93 317.74deg);
    --highlight-text-color: #e5e5e5;
    --code-color: lch(72% 90 309deg);
    --code-color-border: lch(72% 90 309deg / 0.15);
  }
  body.light-theme {
    --text-color: #111;
    --text-shade: #353535;
    --bg-color: #fff;
    --bg-color-card: #f9f9f9;
    --link-color: lch(55.05% 102.93 317.74deg);
    --note-color: #111;
    --custom-highlight-color: lch(89% 132 317deg);
    --highlight-text-color: #111;
    --code-color: #bf616a;
    --code-color-border: rgba(191, 97, 106, 0.15);
  }
}
body {
  -webkit-text-size-adjust: 100%;
  color: var(--text-color);
  background-color: var(--bg-color);
  padding: 0 30% 0 0;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: var(--text-color);
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  line-height: normal;
}

a {
  color: var(--link-color);
  text-decoration: none;
}

blockquote {
  border-left: 0.25rem solid #e5e5e5;
  color: var(--text-shade);
  margin: 0.8rem 0;
  padding: 0.5rem 1rem;
}
blockquote p {
  margin: 0 0 0.5rem;
}
blockquote p:last-child {
  margin-bottom: 0;
}
@media (min-width: 600px) {
  blockquote {
    padding: 0 0rem 0 1.25rem;
  }
}

img {
  display: block;
  margin: 0 0 1rem;
  max-width: 100%;
}

td {
  vertical-align: top;
}

pre,
code {
  font-family: "Cutive Mono", Menlo, Monaco, monospace;
}

code {
  background-color: var(--bg-color-card);
  border: 1px solid var(--code-color-border);
  border-radius: 3px;
  color: var(--code-color);
  font-size: 85%;
  padding: 0.05em 0.15em;
}

pre > code {
  border: unset;
}

pre {
  margin: 0 0 1rem;
}

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

.highlight {
  background-color: var(--bg-color-card);
  border-radius: 3px;
  line-height: 1.4;
  margin: 0 0 1rem;
  padding: 1rem;
}
.highlight pre {
  margin-bottom: 0;
  overflow-x: auto;
}
.highlight .lineno {
  color: #aaa;
  display: inline-block;
  padding: 0 0.75rem 0 0.25rem;
  -webkit-user-select: none;
  -moz-user-select: none;
  user-select: none;
}

main > div.container {
  display: flex;
  margin: 0 auto;
  max-width: 1200px;
  width: 80%;
}

.nav-container {
  position: sticky;
  top: 0;
}

.post {
  padding: 3rem 0;
}
@media (max-width: 480px) {
  .post {
    padding: 0rem 0;
  }
}
.post-info {
  font-family: "EB Garamond", "Times New Roman", Times, serif;
  letter-spacing: 0.5px;
  text-align: left;
  margin-bottom: 2rem;
}
.post-date {
  font-style: italic;
}
.post-author {
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  font-weight: 700;
  font-style: none;
}
.post-title {
  font-family: "Source Serif Pro";
  font-weight: 900;
  font-size: 3rem;
  line-height: 1;
  margin: 1rem 0;
  text-align: left;
  margin-bottom: 0;
}
@media (max-width: 900px) {
  .post-title {
    font-size: 3rem;
  }
}
@media (max-width: 480px) {
  .post-title {
    font-size: 2.5rem;
  }
}
.post-subtitle {
  font-style: italic;
  font-size: 1.5rem;
  font-weight: 200;
  text-align: left;
  margin-top: 0.5rem;
  margin-bottom: 0;
}
@media (max-width: 480px) {
  .post-subtitle {
    font-size: 1.5rem;
  }
}
.post-line {
  border-top: 1px solid #353535;
  display: block;
  margin: 1rem auto 0.5rem 0;
  width: 50%;
}
.post p {
  margin: 0 0 1rem;
}
.post a:hover {
  text-decoration: underline;
}
.post img {
  margin: 0 auto 0.5rem;
}
.post img + em {
  color: #aaa;
  display: block;
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  font-size: 0.9rem;
  font-style: normal;
  text-align: center;
}
.post img.emoji {
  display: inline-block;
  left: 0;
  transform: none;
  width: 1rem;
  height: 1rem;
  vertical-align: text-top;
  padding: 0;
  margin: 0;
}
.post sup {
  line-height: 0;
}
.post sup a {
  line-height: 0;
}

div.highlight, figure.highlight {
  border: 1px solid rgba(110, 122, 148, 0.53);
}

div.highlight {
  padding: 0;
}

.highlight {
  background-color: #121419;
}

.highlight .hll {
  background-color: #121419;
}

.highlight .c {
  color: #6E7A94;
} /* Comment */
.highlight .err {
  color: #960050;
  background-color: #1e0010;
} /* Error */
.highlight .k {
  color: #26A6A6;
} /* Keyword */
.highlight .l {
  color: #F9CD0F;
} /* Literal */
.highlight .n {
  color: #dee3ec;
} /* Name */
.highlight .o {
  color: #26A6A6;
} /* Operator */
.highlight .p {
  color: #dee3ec;
} /* Punctuation */
.highlight .cm {
  color: #6E7A94;
} /* Comment.Multiline */
.highlight .cp {
  color: #dee3ec;
} /* Comment.Preproc */
.highlight .c1 {
  color: #6E7A94;
} /* Comment.Single */
.highlight .cs {
  color: #6E7A94;
} /* Comment.Special */
.highlight .ge {
  font-style: italic;
} /* Generic.Emph */
.highlight .gs {
  font-weight: bold;
} /* Generic.Strong */
.highlight .kc {
  color: #FF522C;
} /* Keyword.Constant */
.highlight .kd {
  color: #FF522C;
} /* Keyword.Declaration */
.highlight .kn {
  color: #26A6A6;
} /* Keyword.Namespace */
.highlight .kp {
  color: #26A6A6;
} /* Keyword.Pseudo */
.highlight .kr {
  color: #FF522C;
} /* Keyword.Reserved */
.highlight .kt {
  color: #26A6A6;
} /* Keyword.Type */
.highlight .ld {
  color: #F9CD0F;
} /* Literal.Date */
.highlight .m {
  color: #39A4FF;
} /* Literal.Number */
.highlight .s {
  color: #F9CD0F;
} /* Literal.String */
.highlight .na {
  color: #dee3ec;
} /* Name.Attribute */
.highlight .nb {
  color: #dee3ec;
} /* Name.Builtin */
.highlight .nc {
  color: #dee3ec;
} /* Name.Class */
.highlight .no {
  color: #FF522C;
} /* Name.Constant */
.highlight .nd {
  color: #26A6A6;
} /* Name.Decorator */
.highlight .ni {
  color: #dee3ec;
} /* Name.Entity */
.highlight .ne {
  color: #dee3ec;
} /* Name.Exception */
.highlight .nf {
  color: #FF522C;
} /* Name.Function */
.highlight .nl {
  color: #dee3ec;
} /* Name.Label */
.highlight .nn {
  color: #dee3ec;
} /* Name.Namespace */
.highlight .nx {
  color: #dee3ec;
} /* Name.Other */
.highlight .py {
  color: #dee3ec;
} /* Name.Property */
.highlight .nt {
  color: #26A6A6;
} /* Name.Tag */
.highlight .nv {
  color: #dee3ec;
} /* Name.Variable */
.highlight .ow {
  color: #26A6A6;
} /* Operator.Word */
.highlight .w {
  color: #dee3ec;
} /* Text.Whitespace */
.highlight .mf {
  color: #39A4FF;
} /* Literal.Number.Float */
.highlight .mh {
  color: #39A4FF;
} /* Literal.Number.Hex */
.highlight .mi {
  color: #39A4FF;
} /* Literal.Number.Integer */
.highlight .mo {
  color: #39A4FF;
} /* Literal.Number.Oct */
.highlight .sb {
  color: #F9CD0F;
} /* Literal.String.Backtick */
.highlight .sc {
  color: #F9CD0F;
} /* Literal.String.Char */
.highlight .sd {
  color: #6E7A94;
} /* Literal.String.Doc */
.highlight .s2 {
  color: #F9CD0F;
} /* Literal.String.Double */
.highlight .se {
  color: #FF522C;
} /* Literal.String.Escape */
.highlight .sh {
  color: #F9CD0F;
} /* Literal.String.Heredoc */
.highlight .si {
  color: #dee3ec;
} /* Literal.String.Interpol */
.highlight .sx {
  color: #F9CD0F;
} /* Literal.String.Other */
.highlight .sr {
  color: #F9CD0F;
} /* Literal.String.Regex */
.highlight .s1 {
  color: #F9CD0F;
} /* Literal.String.Single */
.highlight .ss {
  color: #F9CD0F;
} /* Literal.String.Symbol */
.highlight .bp {
  color: #dee3ec;
} /* Name.Builtin.Pseudo */
.highlight .vc {
  color: #dee3ec;
} /* Name.Variable.Class */
.highlight .vg {
  color: #dee3ec;
} /* Name.Variable.Global */
.highlight .vi {
  color: #dee3ec;
} /* Name.Variable.Instance */
.highlight .il {
  color: #39A4FF;
} /* Literal.Number.Integer.Long */
/* Generic Heading & Diff Header */
.highlight .gu {
  color: #6E7A94;
} /* Generic.Subheading & Diff Unified/Comment? */
.highlight .gd {
  color: #26A6A6;
} /* Generic.Deleted & Diff Deleted */
.highlight .gi {
  color: #dee3ec;
} /* Generic.Inserted & Diff Inserted */
main,
footer,
.nav-container {
  margin: 0 auto;
  display: block;
  width: 80%;
  max-width: 750px;
}
@media (max-width: 900px) {
  main,
  footer,
  .nav-container {
    width: 90%;
  }
}

.nav {
  box-shadow: 0 2px 2px -2px rgba(0, 0, 0, 0.2);
  overflow: auto;
}
.nav-container {
  margin: 1rem auto;
  position: relative;
  text-align: center;
}
.nav-title {
  -webkit-transition: all 0.2s ease-out;
  -moz-transition: all 0.2s ease-out;
  transition: all 0.2s ease-out;
  color: var(--text-color);
  display: inline-block;
  margin: 0;
  padding-right: 0.2rem;
}
.nav-title:hover, .nav-title:focus {
  text-decoration: underline;
}
.nav ul {
  list-style-type: none;
  margin: 1rem 0 0;
  padding: 0;
  text-align: center;
  display: flex;
  column-gap: 1.5em;
}
.nav li {
  -webkit-transition: all 0.2s ease-out;
  -moz-transition: all 0.2s ease-out;
  transition: all 0.2s ease-out;
  color: var(--text-color);
  display: inline-block;
}
.nav li:hover, .nav li:focus {
  text-decoration: underline;
}
.nav a {
  color: var(--link-color);
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
}

@media (min-width: 600px) {
  .nav-container {
    text-align: left;
  }
  .nav ul {
    bottom: 0;
    position: absolute;
    right: 0;
  }
}
footer {
  font-family: Palatino, "Palatino LT STD", "Palatino Linotype", "Book Antiqua", "Georgia", serif;
  padding: 2rem 0;
  text-align: center;
}
footer span {
  color: #111;
  font-size: 0.8rem;
}

@media (max-width: 900px) {
  ul {
    padding-left: 1em;
  }
  ul li {
    margin-top: 0.25em;
  }
}

.spacer {
  height: 1em;
}

.pagination {
  border-top: 0.5px solid #e5e5e5;
  font-family: Palatino, "Palatino LT STD", "Palatino Linotype", "Book Antiqua", "Georgia", serif;
  padding-top: 2rem;
  position: relative;
  text-align: center;
}
.pagination span {
  color: var(--text-color);
  font-size: 1.1rem;
}
.pagination .top {
  -webkit-transition: all 0.3s ease-out;
  -moz-transition: all 0.3s ease-out;
  transition: all 0.3s ease-out;
  color: var(--text-color);
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  font-size: 1.1rem;
  opacity: 0.6;
}
.pagination .top:hover {
  opacity: 1;
}
.pagination .arrow {
  -webkit-transition: all 0.3s ease-out;
  -moz-transition: all 0.3s ease-out;
  transition: all 0.3s ease-out;
  color: var(--text-color);
  position: absolute;
}
.pagination .arrow:hover, .pagination .arrow:focus {
  opacity: 0.6;
  text-decoration: none;
}
.pagination .left {
  left: 0;
}
.pagination .right {
  right: 0;
}

.catalogue-item {
  border-bottom: 1px solid #e5e5e5;
  color: var(--text-color);
  display: block;
  padding: 2rem 0;
}
.catalogue-item:hover .catalogue-line, .catalogue-item:focus .catalogue-line {
  width: 5rem;
}
.catalogue-item:last-child {
  border: 0;
}
.catalogue-pinned {
  color: var(--text-color);
  font-family: Palatino, "Palatino LT STD", "Palatino Linotype", "Book Antiqua", "Georgia", serif;
  letter-spacing: 0.5px;
}
.catalogue-time {
  color: var(--text-color);
  font-family: Palatino, "Palatino LT STD", "Palatino Linotype", "Book Antiqua", "Georgia", serif;
  letter-spacing: 0.5px;
}
.catalogue-title {
  color: var(--text-color);
  display: block;
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  font-size: 2rem;
  font-weight: 700;
  margin: 0.5rem 0;
}
.catalogue-line {
  -webkit-transition: all 0.3s ease-out;
  -moz-transition: all 0.3s ease-out;
  transition: all 0.3s ease-out;
  border-top: 0.2rem solid lch(44% 132 317deg);
  display: block;
  width: 2rem;
}

.notfound {
  position: relative;
  text-align: center;
  margin: 4rem 0;
}
.notfound-error {
  font-size: 4rem;
  margin: 1rem 0;
}
.notfound-line {
  border-top: 0.4rem solid #353535;
  display: block;
  margin: 0 auto 3rem;
  width: 4rem;
}
.notfound-message {
  max-width: 25rem;
  margin: 0 auto;
}

.tags-header-title {
  color: #353535;
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  font-size: 4rem;
  margin: 1rem 0;
  text-align: center;
}
.tags-header-line {
  border-top: 0.4rem solid #353535;
  display: block;
  margin: 0 auto 3rem;
  width: 4rem;
}
.tags-clouds {
  text-align: center;
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
}
.tags-clouds a {
  display: inline-block;
  margin: 0 0.1rem 0.2rem;
  padding: 0.2rem 0.5rem;
  background: rgba(0, 0, 0, 0.05);
  border-radius: 5px;
  color: #111;
  text-decoration: none;
}
.tags-clouds a:hover, .tags-clouds a:active {
  background: rgba(0, 0, 0, 0.1);
}
.tags-item-icon {
  height: 1rem;
}
.tags-item-label {
  display: inline-block;
  margin: 2rem 0 0.5rem;
  font-family: "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif;
  color: #111;
}
.tags-post {
  display: flex;
  justify-content: space-between;
  padding: 5px 0;
}
.tags-post-title {
  color: #111;
  text-decoration: none;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.tags-post-line {
  -webkit-transition: all 0.3s ease-out;
  -moz-transition: all 0.3s ease-out;
  transition: all 0.3s ease-out;
  border-top: 0.1rem solid #353535;
  display: block;
  width: 0;
}
.tags-post-meta {
  color: #aaa;
  text-align: right;
  white-space: nowrap;
}
.tags-post:hover .tags-post-line, .tags-post:active .tags-post-line {
  width: 3rem;
}
.tags-post:hover .tags-post-meta, .tags-post:active .tags-post-meta {
  color: #353535;
}

.annotation-container {
  width: 100%;
  background-color: #ffefef;
  border: 5px solid #ffcccc;
  border-radius: 5px;
  padding: 20px;
  margin: 1em 0;
}

.bibliography {
  overflow-x: scroll;
}
.bibliography li {
  padding-bottom: 10px;
}
.bibliography li span {
  line-height: 1em;
}

.acknowledgements {
  display: grid;
  grid-row-gap: 10px;
  grid-template-columns: auto;
  border: 1px #ccc solid;
  padding: 2em;
  border-radius: 10px;
  filter: drop-shadow(2px 2px 1px);
  background: white;
  margin: 1em 0;
}
.acknowledgements .name {
  font-style: italic;
  color: #979797;
}
.acknowledgements h3 {
  margin-bottom: 0px;
  margin-top: 0px;
}

.abstract {
  font-style: italic;
  padding-bottom: 1em;
}

.jupyter-notebook {
  border: 1px solid black;
  border-radius: 10px;
  filter: drop-shadow(2px 2px 1px);
  background: white;
  margin: 0 0 1rem;
  position: relative;
  width: 100%;
}

.post ul {
  list-style-position: outside;
  list-style-type: disc;
  padding-left: 1em;
}
.post ul li::marker {
  font-size: 0.8em;
}

.options-title {
  font-weight: bold;
}

.option-button {
  border-width: 2px;
  border-style: outset;
  border-color: buttonface;
  border-right-color: #424242;
  border-bottom-color: #424242;
  background: silver;
  color: black;
  padding: 2px 4px;
  border-radius: 1px;
  font-family: "MS Sans", Arial, sans-serif;
  font-size: 0.75em;
}

.option-button:hover {
  border: 2px inset #fff;
  background: silver;
  color: #424242;
  box-shadow: -1px -1px #000;
}

.option-button:checked {
  border: 2px inset #fff !important;
  background: silver;
  color: #424242;
  box-shadow: -1px -1px #000 !important;
  outline: 0 !important;
}

.option-button:active {
  border: 2px inset #fff !important;
  color: #424242;
  box-shadow: -1px -1px #000 !important;
  outline: 0 !important;
}

/* eb-garamond-regular - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "EB Garamond";
  font-style: normal;
  font-weight: 400;
  src: url("fonts/eb-garamond-v26-latin-regular.woff2") format("woff2"), url("fonts/eb-garamond-v26-latin-regular.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* eb-garamond-italic - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "EB Garamond";
  font-style: italic;
  font-weight: 400;
  src: url("fonts/eb-garamond-v26-latin-italic.woff2") format("woff2"), url("fonts/eb-garamond-v26-latin-italic.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* eb-garamond-700 - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "EB Garamond";
  font-style: normal;
  font-weight: 700;
  src: url("fonts/eb-garamond-v26-latin-700.woff2") format("woff2"), url("fonts/eb-garamond-v26-latin-700.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* eb-garamond-700italic - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "EB Garamond";
  font-style: italic;
  font-weight: 700;
  src: url("fonts/eb-garamond-v26-latin-700italic.woff2") format("woff2"), url("fonts/eb-garamond-v26-latin-700italic.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* cutive-mono-regular - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "Cutive Mono";
  font-style: normal;
  font-weight: 400;
  src: url("fonts/cutive-mono-v14-latin-regular.woff2") format("woff2"), url("fonts/cutive-mono-v14-latin-regular.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* source-serif-pro-regular - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "Source Serif Pro";
  font-style: normal;
  font-weight: 400;
  src: url("fonts/source-serif-pro-v15-latin-regular.woff2") format("woff2"), url("fonts/source-serif-pro-v15-latin-regular.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* source-serif-pro-900 - latin */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "Source Serif Pro";
  font-style: normal;
  font-weight: 900;
  src: url("fonts/source-serif-pro-v15-latin-900.woff2") format("woff2"), url("fonts/source-serif-pro-v15-latin-900.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: "MS Sans";
  font-style: normal;
  font-weight: 400;
  src: url("fonts/ms_sans_serif.woff2") format("woff2"), url("fonts/ms_sans_serif.woff") format("woff"); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
blockquote + blockquote {
  margin-top: 3rem;
}
blockquote + blockquote::before {
  content: " ";
  display: block;
  border-top: 1px solid #e5e5e5;
  position: relative;
  top: -1.5rem;
  width: 60%;
  margin: auto;
}

pre {
  font-size: 16px;
}

a > code {
  text-decoration: underline #bf616a;
}

a.archive-link, a.bibtex-button {
  background-color: var(--bg-color-card);
  border-radius: 3px;
  color: var(--code-color);
  border: 1px solid var(--code-color);
  font-size: 85%;
  padding: 0.15em 0.25em;
}

.bibtex-button {
  text-decoration: underline;
  cursor: pointer;
}

.bibtex {
  transition: max-height 0.25s ease-in;
  max-height: 1000px;
  overflow-y: auto;
  background-color: var(--bg-color-card);
  border-radius: 10px;
  border: 1px black solid;
  margin: 0.5em 0;
}
.bibtex.collapsed {
  max-height: 0px;
  overflow-y: hidden;
  transition: max-height 0.25s ease-out;
  border: none;
}
.bibtex pre {
  overflow-wrap: break-word;
  overflow-x: auto;
  white-space: pre-wrap;
  margin: 0;
}

.hypothesis-highlight {
  background-color: var(--custom-highlight-color) !important;
}

#draftmarker {
  padding: 20px;
  background-color: #005500;
  color: #ff5555;
  font-style: italic;
  font-size: 3rem;
  border: 20px yellow dashed;
}
#draftmarker h1 {
  font-size: 5rem;
  color: #ffffff;
}
@media (max-width: 900px) {
  #draftmarker {
    font-size: 2rem;
  }
  #draftmarker h1 {
    font-size: 2rem;
  }
}

.trimlink {
  width: 100%;
  border: 1px solid black;
  background-color: orangered;
  color: white;
  box-shadow: 5px 5px black;
  margin: 0 0 1em 0;
  padding: 15px;
}
.trimlink a {
  background-color: white;
  box-shadow: 5px 5px black;
  padding: 5px;
  margin: 5px;
  font-family: "Cutive Mono", Menlo, Monaco, monospace;
}
.draft-text {
  color: #f00;
  padding: 20px;
  border: 1px red dashed;
  border-radius: 20px;
  background-color: #fff5f5;
  margin-left: 20px;
  margin-bottom: 1rem;
}
.draft-text::before {
  content: "draft!";
  position: relative;
  left: -50px;
  top: 10px;
  height: 0px;
  width: 0px;
  display: inline-block;
  writing-mode: sideways-lr;
}

.anchorjs-link {
  transition: opacity 0.1s ease-out;
}

.sidenote .anchorjs-link {
  margin-left: -2.25em !important;
}

.music {
  transition: height 0.5s ease-out;
  height: 80px;
}
.music.hidden {
  height: 0px;
}

.music-icon {
  transition: opacity 0.2s ease;
  position: absolute;
  transform: translate(-50px, -42px);
}
.music-icon:hover {
  opacity: 1;
}

#taped-on-interfaces-open-loop-user-testing:hover ~ #musicbutton {
  opacity: 1 !important;
}

.note {
  border: 5px solid lch(44% 132 317deg);
  border-radius: 10px;
  background-color: lch(89% 132 317deg);
  box-shadow: 5px 5px lch(34% 132 317deg);
  padding: 0.5em 0.5em;
  margin-bottom: 2rem;
  color: var(--note-color);
}
.note a {
  color: lch(34% 132 317deg);
}
.note.foreword {
  padding: 1em 1.5em;
}
.note.foreword p {
  margin: 0 0 0.5rem;
}

hr {
  width: 80%;
  margin: 3em auto;
  border-top: 1px solid #666666;
  border-bottom: none;
}

img.masto-icon {
  height: 0.75em;
  display: inline-block;
  margin: 0;
}

.rdfa {
  display: inline;
  background-color: rgba(1, 1, 1, 0.05);
  transition: background-color 0.5s, box-shadow 1s, filter 0.5s;
}
.rdfa h3 {
  background-color: rgba(1, 1, 1, 0.05);
}
.rdfa.highlighted {
  background-color: #ffffff;
  box-shadow: 5px 5px;
}
.rdfa.highlighted h3 {
  background-color: #ffffff;
  box-shadow: 5px 5px;
}
.rdfa.highlighted.primary {
  filter: drop-shadow(0 0 10px #fff);
}

body {
  transition: background-color 0.5s;
}
body.faded {
  background-color: #888;
}

@media (max-width: 839px) {
  body {
    padding: 0;
  }
}

.toc {
  top: 2%;
  padding: 2.5% 0;
  width: 100%;
  line-height: 1em;
}
.toc > ol > li {
  padding-left: 0.5em;
}
.toc ul, .toc ol {
  list-style: none;
  padding: 0 0 0 1em;
  margin: 0;
  margin-bottom: 10px;
  counter-reset: toc-subcount;
}
.toc ol > li {
  counter-increment: toc-subcount;
}
.toc ol > li:hover::before, .toc ol > li.visible::before {
  content: counters(toc-subcount, ".");
  color: #000;
}
.toc ol > li:before {
  color: #888;
  padding-right: 10px;
  line-height: 1.2em;
  position: absolute;
  left: 10px;
}
.toc li a {
  display: inline-block;
  color: #888;
  line-height: 1em;
  padding-bottom: 0.2em;
  text-decoration: none;
  transition: all 0.3s cubic-bezier(0.23, 1, 0.32, 1);
}
.toc li.visible > a, .toc li:hover > a {
  color: #000;
}
.toc ol > li ol {
  height: 100%;
  max-height: 0px;
  overflow: hidden;
  margin: 0;
  transition: max-height 1s ease, margin 0.1s linear;
}
.toc ol > li ol.opened {
  max-height: 1000px;
  margin: 0 0 10px 0;
}

#markdown-toc li::marker {
  content: counters(list-item, ".") ". ";
}

.mobile-toc-drawer ol > li ol {
  max-height: 1000px;
  margin: 0 0 10px 0;
}

.toc-marker {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  z-index: -1;
}
.toc-marker path {
  transition: all 0.3s ease;
}

.sidenote {
  border-left: 1px solid var(--link-color);
  color: var(--text-color);
  font-style: italic;
  font-size: 0.8em;
  transition: top 0.5s;
  position: absolute;
  text-align: left;
  padding-left: 1em;
  padding-right: 1em;
  margin-left: 20px;
  margin-bottom: 1.5em;
  margin-right: 1em;
  /* kramdown */
  /* commonmark */
}
.sidenote-header {
  font-weight: 700;
}
.sidenote-hover {
  color: lch(44% 132 317deg);
  border-color: lch(44% 132 317deg);
  transition: 0.5s;
}
@media (max-width: 420px) {
  .sidenote-hover {
    border-width: 2px;
    color: inherit;
  }
}
.sidenote p {
  display: inline;
}
.sidenote blockquote {
  padding: 0 0 0 0.5rem;
  border-left: 0.1rem solid var(--text-color);
}
.sidenote blockquote p {
  display: block;
}
.sidenote .reversefootnote {
  display: none;
}
.sidenote .footnote-backref {
  display: none;
}

#acknowledgements {
  padding: 0 2em;
  border-left: 1px solid gray;
  color: var(--text-shade);
  font-style: italic;
}
#acknowledgements h2 {
  font-style: italic;
  color: var(--text-shade);
  font-weight: 200;
}
#acknowledgements .name {
  font-weight: 700;
}

.logo-background {
  position: absolute;
  top: 5rem;
  width: 50%;
  right: -20%;
  max-width: 800px;
}
@media (max-width: 900px) {
  .logo-background {
    top: -2rem;
  }
}

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