/* Background */
.chroma {
  background-color: #eeeeee; }

/* Error */
.chroma .err {
  color: #a61717;
  background-color: #e3d2d2; }

/* LineTableTD */
.chroma .lntd {
  vertical-align: top;
  padding: 0;
  margin: 0;
  border: 0; }

/* LineTable */
.chroma .lntable {
  border-spacing: 0;
  padding: 0;
  margin: 0;
  border: 0;
  width: auto;
  overflow: auto;
  display: block; }

/* LineHighlight */
.chroma .hl {
  display: block;
  width: 100%;
  background-color: #ffffcc; }

/* LineNumbersTable */
.chroma .lnt {
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: #7f7f7f; }

/* LineNumbers */
.chroma .ln {
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  color: #7f7f7f; }

/* Keyword */
.chroma .k {
  color: #000000;
  font-weight: bold; }

/* KeywordConstant */
.chroma .kc {
  color: #000000;
  font-weight: bold; }

/* KeywordDeclaration */
.chroma .kd {
  color: #000000;
  font-weight: bold; }

/* KeywordNamespace */
.chroma .kn {
  color: #000000;
  font-weight: bold; }

/* KeywordPseudo */
.chroma .kp {
  color: #000000;
  font-weight: bold; }

/* KeywordReserved */
.chroma .kr {
  color: #000000;
  font-weight: bold; }

/* KeywordType */
.chroma .kt {
  color: #445588;
  font-weight: bold; }

/* NameAttribute */
.chroma .na {
  color: #008080; }

/* NameBuiltin */
.chroma .nb {
  color: #0086b3; }

/* NameBuiltinPseudo */
.chroma .bp {
  color: #999999; }

/* NameClass */
.chroma .nc {
  color: #445588;
  font-weight: bold; }

/* NameConstant */
.chroma .no {
  color: #008080; }

/* NameDecorator */
.chroma .nd {
  color: #3c5d5d;
  font-weight: bold; }

/* NameEntity */
.chroma .ni {
  color: #800080; }

/* NameException */
.chroma .ne {
  color: #990000;
  font-weight: bold; }

/* NameFunction */
.chroma .nf {
  color: #990000;
  font-weight: bold; }

/* NameLabel */
.chroma .nl {
  color: #990000;
  font-weight: bold; }

/* NameNamespace */
.chroma .nn {
  color: #555555; }

/* NameTag */
.chroma .nt {
  color: #000080; }

/* NameVariable */
.chroma .nv {
  color: #008080; }

/* NameVariableClass */
.chroma .vc {
  color: #008080; }

/* NameVariableGlobal */
.chroma .vg {
  color: #008080; }

/* NameVariableInstance */
.chroma .vi {
  color: #008080; }

/* LiteralString */
.chroma .s {
  color: #dd1144; }

/* LiteralStringAffix */
.chroma .sa {
  color: #dd1144; }

/* LiteralStringBacktick */
.chroma .sb {
  color: #dd1144; }

/* LiteralStringChar */
.chroma .sc {
  color: #dd1144; }

/* LiteralStringDelimiter */
.chroma .dl {
  color: #dd1144; }

/* LiteralStringDoc */
.chroma .sd {
  color: #dd1144; }

/* LiteralStringDouble */
.chroma .s2 {
  color: #dd1144; }

/* LiteralStringEscape */
.chroma .se {
  color: #dd1144; }

/* LiteralStringHeredoc */
.chroma .sh {
  color: #dd1144; }

/* LiteralStringInterpol */
.chroma .si {
  color: #dd1144; }

/* LiteralStringOther */
.chroma .sx {
  color: #dd1144; }

/* LiteralStringRegex */
.chroma .sr {
  color: #009926; }

/* LiteralStringSingle */
.chroma .s1 {
  color: #dd1144; }

/* LiteralStringSymbol */
.chroma .ss {
  color: #990073; }

/* LiteralNumber */
.chroma .m {
  color: #009999; }

/* LiteralNumberBin */
.chroma .mb {
  color: #009999; }

/* LiteralNumberFloat */
.chroma .mf {
  color: #009999; }

/* LiteralNumberHex */
.chroma .mh {
  color: #009999; }

/* LiteralNumberInteger */
.chroma .mi {
  color: #009999; }

/* LiteralNumberIntegerLong */
.chroma .il {
  color: #009999; }

/* LiteralNumberOct */
.chroma .mo {
  color: #009999; }

/* Operator */
.chroma .o {
  color: #000000;
  font-weight: bold; }

/* OperatorWord */
.chroma .ow {
  color: #000000;
  font-weight: bold; }

/* Comment */
.chroma .c {
  color: #999988;
  font-style: italic; }

/* CommentHashbang */
.chroma .ch {
  color: #999988;
  font-style: italic; }

/* CommentMultiline */
.chroma .cm {
  color: #999988;
  font-style: italic; }

/* CommentSingle */
.chroma .c1 {
  color: #999988;
  font-style: italic; }

/* CommentSpecial */
.chroma .cs {
  color: #999999;
  font-weight: bold;
  font-style: italic; }

/* CommentPreproc */
.chroma .cp {
  color: #999999;
  font-weight: bold;
  font-style: italic; }

/* CommentPreprocFile */
.chroma .cpf {
  color: #999999;
  font-weight: bold;
  font-style: italic; }

/* GenericDeleted */
.chroma .gd {
  color: #000000;
  background-color: #ffdddd; }

/* GenericEmph */
.chroma .ge {
  color: #000000;
  font-style: italic; }

/* GenericError */
.chroma .gr {
  color: #aa0000; }

/* GenericHeading */
.chroma .gh {
  color: #999999; }

/* GenericInserted */
.chroma .gi {
  color: #000000;
  background-color: #ddffdd; }

/* GenericOutput */
.chroma .go {
  color: #888888; }

/* GenericPrompt */
.chroma .gp {
  color: #555555; }

/* GenericStrong */
.chroma .gs {
  font-weight: bold; }

/* GenericSubheading */
.chroma .gu {
  color: #aaaaaa; }

/* GenericTraceback */
.chroma .gt {
  color: #aa0000; }

/* GenericUnderline */
.chroma .gl {
  text-decoration: underline; }

/* TextWhitespace */
.chroma .w {
  color: #bbbbbb; }

html {
  --background-color: #fff;
  --text-color: #000;
  --dark-grey: #666; }

@media (prefers-color-scheme: dark) {
  html {
    --background-color: #202020;
    --text-color: #efefef;
    --dark-grey: #999; }
    html a {
      color: #0086b3; }
    html pre {
      color: black; }
    html .chroma {
      background-color: #777; } }

body {
  font-family: 'Computer Modern Serif', serif;
  background-color: var(--background-color);
  color: var(--text-color);
  font-size: 14pt;
  padding: 0;
  margin: 0; }

h1, h2, h3, h4, h5, h6 {
  font-family: 'Computer Modern Sans', sans-serif; }
  h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    color: inherit;
    text-decoration: inherit; }

h1 {
  margin-top: 0; }

h2, h3, h4, h5, h6 {
  margin-top: 2.828rem;
  margin-bottom: 1.414rem; }

p, pre, ul, ol {
  margin-bottom: 1.414em; }

p {
  line-height: 1.414em; }

ul li, ol li {
  margin-bottom: 0.5em; }

header {
  padding-top: 1rem;
  padding-bottom: 0.5rem; }
  header .page-title {
    font-family: 'Computer Modern Serif', serif;
    text-align: center;
    font-size: 2.828rem;
    font-weight: bold;
    border-bottom: 1px solid var(--dark-grey);
    margin-bottom: 0.25em; }
    header .page-title a {
      color: inherit;
      text-decoration: none; }
  header .alternative-languages {
    text-align: center;
    font-family: 'Computer Modern Sans', sans-serif;
    line-height: 2rem;
    font-size: 0.8em; }
    header .alternative-languages a {
      color: var(--dark-grey);
      text-decoration: none; }
    header .alternative-languages ul {
      list-style-position: inside;
      list-style: none;
      margin: 0;
      padding: 0; }
      header .alternative-languages ul li {
        display: inline-block; }

footer {
  margin-top: 2.828rem;
  margin-bottom: 2.828rem; }
  footer nav {
    font-family: 'Computer Modern Sans', sans-serif;
    text-align: center; }
    footer nav a {
      color: var(--dark-grey);
      text-decoration: none; }
    footer nav ul {
      margin: 0;
      padding: 0;
      list-style: none; }
      footer nav ul li {
        display: inline-block;
        margin-left: 1em; }
        footer nav ul li:first-child {
          margin-left: 0; }
  footer :before {
    border: 1px solid #000000;
    border-bottom: none;
    width: 10em;
    margin-left: 0; }

pre {
  overflow: auto;
  padding: 1em;
  background-color: #eeeeee;
  font-size: 0.8em; }

img {
  max-width: 100%; }

figure {
  margin: 1em 3em; }
  @media only screen and (min-width: 521px) {
    figure.float-left, figure.float-right {
      line-height: 0;
      margin: 0;
      margin-bottom: 0.707em;
      width: 13.433em; }
      figure.float-left figcaption, figure.float-right figcaption {
        line-height: 1.414em; }
    figure.float-left {
      margin-right: 1em;
      float: left; }
    figure.float-right {
      margin-left: 1em;
      float: right; } }

dl {
  display: grid;
  grid-auto-flow: column; }
  dl dt {
    grid-column: 1;
    font-weight: bold; }
  dl dt, dl dd {
    padding-bottom: 0.5em; }

blockquote {
  font-style: italic; }
  blockquote cite {
    font-style: normal; }

.container {
  margin: auto;
  max-width: 48rem;
  padding: 0 2rem; }

.content:after {
  content: ".";
  clear: both;
  display: block;
  visibility: hidden;
  height: 0; }

.content p {
  hyphens: auto;
  text-align: justify; }

.content ul li p {
  text-align: left; }

.article-meta {
  font-size: 0.8em;
  font-family: 'Computer Modern Sans', sans-serif;
  color: var(--dark-grey); }

.blog-articles article {
  margin-bottom: 2.828em; }
  .blog-articles article h2 {
    margin: 0; }
  .blog-articles article .article-meta {
    margin-bottom: 0; }
  .blog-articles article p {
    text-align: justify; }
  .blog-articles article *:last-child {
    margin-bottom: 0; }

@media print {
  .container {
    max-width: 100%;
    margin: 0;
    padding: 0; }
  footer nav,
  .alternative-languages {
    display: none; }
  pre {
    border: 1px solid var(--dark-grey); }
  a[href^="http"] {
    color: #000;
    text-decoration: none; }
    a[href^="http"]::after {
      content: " (" attr(href) ")"; }
  figure a[href]:after {
    content: ""; } }