
/* Copyright (C) 2025 Rafael Senties Martinelli. All Rights Reserved. */

* {
  box-sizing: border-box;
}
.hidden {
  display: none;
}
.code {
  padding-left: 0.5rem;
  padding-right: 0.5rem;
}
pre.code {
  overflow: auto;
}
a {
  text-decoration: none;
  font-weight: normal;
}
a i {
  font-size: 0.5rem;
  vertical-align: middle;
}
li > img {
  vertical-align: middle;
}
html,
body {
  height: 100%;
  margin: 0;
}
body {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto,
    "Helvetica Neue", Arial, sans-serif;
  margin: 0;
  padding: 20px;
  line-height: 1.6;
  font-size: 16px;
}
#scrollable-content {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  overflow: auto;
}
#content {
  max-width: 65rem;
  margin: auto;
  padding-top: 2rem;
  padding-left: 1.5rem;
  padding-right: 1.5rem;
}
#back-nav {
  position: absolute;
  right: 10%;
  top: 0;
  padding: 1em 0.5em 0.5em;
  border-bottom-left-radius: 1em;
  border-bottom-right-radius: 1em;
}
#back-nav a {
  font-weight: bold;
}
#center-400 {
  vertical-align: middle;
  text-align: center;
  margin: 10% auto auto;
}
footer {
  text-align: center;
  margin-top: 1rem;
}
footer,
footer a {
  font-size: 0.9rem;
}
div.c-window {
  display: inline-block;
  position: relative;
  border-radius: 0.5rem;
  padding-bottom: 0.05rem;
  margin-bottom: 1rem;
  overflow-x: auto;
  max-width: 100%;
}
div.c-window > div {
  padding-left: 0.5rem;
  font-weight: bold;
  border-top-left-radius: 0.5rem;
  border-top-right-radius: 0.5rem;
}
div.c-window > div > span {
  margin-right: 1rem;
}
div.c-window pre {
  padding: 0.5rem;
  margin-top: 0;
  overflow: auto;
  max-width: 100%;
}
.no-indent {
  padding-left: 1.2rem;
}
ol {
  counter-reset: itrem;
}
ol > li {
  counter-increment: itrem;
}
ol > li > ol > li {
  display: block;
}
ol > li > ol > li:before {
  content: counters(item, ".") ". ";
  margin-left: -20px;
}
ol > li > ol > li > h3 {
  margin-top: -1.2rem;
  margin-left: 1rem;
}
#main-header {
  position: relative;
  text-align: center;
}
#main-header p,
#main-header ul {
  text-align: left;
}
#main-header img {
  max-width: 100%;
  height: auto;
}
#main-header .index {
  text-align: left;
}
section.end-div {
  margin-top: 4rem;
}
section.end-div > div h2 {
  margin-top: -1rem;
}
@media (max-width: 450px) {
  .no-mobile-indent {
    padding-left: 1rem;
  }
}
@media print {
  html,
  body {
    max-width: 100%;
    width: 100%;
    padding: 0;
    margin: 0;
  }
  #scrollable-content {
    position: static;
  }
  main {
    position: static;
    width: 100vw;
    max-width: 100vw;
    margin: 0;
    padding: 0;
  }
  #back-nav {
    display: none;
  }
  a[href^="http"]:after {
    content: "(" attr(href) ") ";
  }
  tr,
  td,
  th {
    page-break-inside: avoid;
  }
}
.warning {
  color: #8f1d1d !important;
}
a {
  color: #3a6ea5;
}
a:hover {
  color: #2f5d8a;
}
div.header img {
  border: 2px solid #ddd;
}
footer {
  color: #888;
}
#back-nav {
  background-color: rgba(217, 217, 217, 0.5);
}
section.end-div {
  color: #606469;
}
section.end-div > div:first-child {
  border-top: 1px solid #555;
}
code,
.code {
  background-color: black;
  color: white;
  padding: 0.25rem 0.5rem;
  border-radius: 0.25rem;
}
div.c-window {
  background: black;
  color: white;
  border: 0.5px solid grey;
}
div.c-window > div > span {
  color: white;
}
div.root-terminal > div {
  background: #5d0912;
  color: white;
}
div.root-terminal,
div.root-terminal code {
  background: #a2101f;
  color: white;
}
div.textfile > div,
div.terminal > div {
  background: #333;
  color: white;
}
@media (prefers-color-scheme: dark) {
  body {
    background-color: #343434;
    color: #e2e2e2;
  }
  div.textfile {
    background: #d9d9d9;
    color: black;
  }
}
@media (prefers-color-scheme: light) {
  body {
    background-color: white;
    color: #222;
  }
  div.textfile {
    background: #e6e5e5;
    color: black;
  }
}
body {
  font-family: Arial, sans-serif;
  line-height: 1.6;
}
.byte-container {
  display: flex;
  gap: 4px;
  flex-wrap: wrap;
  margin: 15px 0;
}
.byte {
  background-color: grey;
  color: white;
  padding: 5px 8px;
  border-radius: 4px;
  text-align: center;
  font-size: 0.9em;
  min-width: 40px;
  font-weight: bold;
}
.byte sup {
  font-weight: normal;
}
ol.blocks {
  padding: 0;
}
ol.blocks > li {
  display: block;
  vertical-align: top;
  text-align: left;
  margin-bottom: 0.5rem;
  padding: 0.5rem;
}
footer {
  font-size: 0.9rem;
  margin-top: 3rem;
}
@media (prefers-color-scheme: dark) {
  body {
    background-color: #343434;
    color: #e2e2e2;
  }
  h1,
  h2,
  h3 {
    color: #e2e2e2;
  }
}
@media (prefers-color-scheme: light) {
  body {
    background-color: #f9f9f9;
    color: #333;
  }
  h1,
  h2,
  h3 {
    color: #222;
  }
}
