:root {
  /* Color palette */
  --col-aliceblue: rgb(212, 223, 237, .5);
  --col-darkslateblue: #483d8b;
  --col-midnightblue: #191970;
  --col-skyblue: #87ceeb;
  --col-dodgerblue: #1e90ff;
  --col-fadedpurple: #5f5064;
  --col-beige: #f5f5dc;
  --col-khaki: #f0e68c;

  /* Semantic colors */
  --col-main: #545454;
  --col-body-bg: white;
  --col-selection: var(--col-aliceblue);
  --col-page-title: var(--col-darkslateblue);
  --col-list-markers: var(--col-darkslateblue);
  --col-headers: #333;
  --col-link: var(--col-midnightblue);
  --col-link-visited: var(--col-fadedpurple);
  --col-link-hover-lo:  var(--col-beige);
  --col-link-hover-hi:  var(--col-skyblue);
  --col-link-hover-ul:  var(--col-khaki);
  --col-border: #dedede;
  --col-bg-white:       #fefefe;
  --col-bg-subtle: #fcfcfc;
  --col-bg-muted: #efefef;
  --col-bg-highlight: #fefafc;

  /* Warning div colors */
  --col-warning-border:   #228b22;
  --col-warning-bg:       #ffffe0;
  --col-warning-label-bg: #90ee90;
  --col-warning-label-fg: #006400;
  --col-warning-code-fg:  #663399;

  /* Variable type colors */
  --col-var-str: #AFAF87;
  --col-var-num: #AFAFAF;
  --col-var-bool: #AFAFD7;
  --col-var-tbl: #AF8700;
  --col-var-tbl-surround: #9F7710;
  --col-var-fn: #D787AF;
  --col-var-fn-surround: #ffaaaa;
  --col-var-func:         #D787AF;   /* same as fn                       */
  --col-var-file:         #87AFD7;   /* blue                             */
  --col-var-dir:          #5F87AF;   /* darker blue                      */
  --col-var-err:          #D75F5F;   /* red                              */
  --col-var-arg:          #87AF87;   /* muted green                      */
  --col-var-flag:         #AFAFD7;   /* same as bool                     */
  --col-var-meta:         #878787;   /* gray                             */
  --col-var-neg:          #D75F5F;   /* red (same as err)                */
  --col-var-multi:        #D7875F;   /* orange                           */
  --col-var-status:       #87AF87;   /* green (same as arg)              */
  --col-var-nil:          #878787;   /* gray (same as meta)              */

  /* Animation */
  --err-duration: 25s;

  /* Typography */
  --font-main: 'Literata', serif;
  --font-mono: 'JetBrains Mono', monospace;
  --base-font-size: calc(1rem + 0.37vh + 0.23vw);

  /* Layout */
  --content-max-width: 47rem;
  --content-width: 85%;
  --content-padding: 1rem;

  font-size: var(--base-font-size);
}

@media (max-width: 400px) and (orientation: portrait) {
  :root {
    --base-font-size: calc(1rem + 1.2vh + 0.8vw);
  }
}

*, *::before, *::after {
  margin: 0;
  padding: 0;
  border: none;
  box-sizing: border-box;
}

html {
  font-family: var(--font-main);
}

body {
  min-height: 100vh;
  line-height: 1.5;
  background-color: var(--col-body-bg);
  color: var(--col-main);
}

::selection {
  background-color: var(--col-selection);
}

p:not(section p) {
  padding: var(--content-padding);
  margin: 0 auto;
  max-width: var(--content-max-width);
  width: var(--content-width);
  text-align: center;
}

/* Links */
a:link {
  color: var(--col-link);
  border-radius: .3rem;
  padding: 0 .1em;
  text-decoration: underline solid 2px var(--col-link-visited);
  transition: background-color .3s, text-decoration .3s;
}

a:visited {
  color: var(--col-link-visited);
}

a:hover {
  background: linear-gradient(to top, var(--col-link-hover-lo) 42%, var(--col-link-hover-hi));
  text-decoration: underline solid 4px var(--col-link-hover-ul);
}

a[role='doc-noteref'] {
  vertical-align: super;
  font-size: 80%;
}

p:has(> img) {
   text-align: center;
}
 
/* Header */
header {
  background: linear-gradient(to bottom, rgba(220,220,220,0.96), rgba(255,255,255,0.92));
  display: flex;
  flex-wrap: wrap;
  font-family: var(--font-main);
  font-weight: bold;
  text-align: center;
  position: sticky;
  top: 0;
  height: 5em;
}

header section {
  padding: 0;
  margin: 0;
  text-align: center;
  width: 100%;
  flex: 1;
}

header #title {
  padding-top: .5em;
  font-size: 1.5em;
  color: var(--col-page-title);
  text-shadow: 1px 1px 1px var(--col-link);
  flex: 2;
}

/* Content layout - sections and top-level headings */
body section,
body > h1 {
  padding: var(--content-padding);
  margin: 0 auto;
  max-width: var(--content-max-width);
  width: var(--content-width);
}

section section {
  padding: 0 var(--content-padding) var(--content-padding) 0;
  width: 100%;
}

section[role="doc-endnotes"] {
  font-size: .7rem;
}

/* Headings */
h1, h2, h3, h4, h5 {
  color: var(--col-headers);
  margin: .5rem 0 1rem;
  text-wrap: balance;
}

h1 {
  font-weight: 700;
  font-size: 1.6rem;
  line-height: 1.3;
}

h2 {
  font-weight: 600;
  font-size: 1.3rem;
  line-height: 2rem;
}

h3 {
  font-weight: 600;
  font-size: 1.15rem;
  line-height: 1;
  text-indent: .2rem;
}

h4 {
  font-weight: 500;
  font-size: 1rem;
  line-height: 1;
}

/* Paragraphs and text */
p {
  margin-bottom: 1rem;
}

p img {
  max-width: 15rem;
  height: auto;
  margin: 1rem;
}

b, strong { font-weight: 700; }
i, em { font-style: italic; }

hr {
  height: 1px;
  background-color: var(--col-bg-muted);
  margin: .7rem auto;
}

/* Lists */
ul, ol {
  font-size: 0.9rem;
  margin: 0 0 1rem 2rem;
}

ul ul, ol ol {
  margin-left: 1.25rem;
  margin-bottom: 0;
}

ul li::marker, ol li::marker {
  color: var(--col-list-markers);
}

ul {
  list-style: disc outside;
}

ol {
  list-style-position: inside;
}

ol li p {
  display: inline;
}

ul li code {
  font-weight: bold;
  border: none;
  background-color: var(--col-bg-subtle);
  color: var(--col-var-str);
}

ul:has(.task-item) {
  list-style: none;
  margin-left: 1rem;
}

li.task-item {
  display: flex;
  align-items: baseline;
  gap: 0.5rem;
}

li.task-item p {
  margin: 0;
}

/* Definition lists */
dl {
  margin: 1em;
}

dt {
  font-weight: bold;
  font-family: var(--font-mono);
  padding: 0 .3rem;
  border: 1px solid var(--col-bg-subtle);
  background-color: var(--col-bg-highlight);
  width: fit-content;
  margin: .5rem .5rem 1rem -1rem;
}

dl dl {
  font-size: smaller;
}

dl.regular dd {
  padding: .5rem .5rem 0;
  border: 1px solid var(--col-border);
  border-radius: .2rem;
  font-size: 0.8rem;
  font-style: italic;
  background-color: var(--col-bg-muted);
}

/* Code */
code {
  background: var(--col-bg-subtle);
  border: 1px solid var(--col-border);
  border-radius: .3rem;
  padding: 0.2em 0.3rem;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  white-space: normal;
}

pre code {
  display: block;
  width: 100%;
  line-height: 1rem;
  white-space: pre-wrap;
  overflow-x: auto;
  border-radius: .5rem;
  padding: 1.2rem;
  font-size: 0.6rem;
  margin: .5rem 0 1.5rem;
}

/* Tables */
table {
  border-collapse: collapse;
  font-family: var(--font-mono);
  margin-bottom: 2rem;
}

caption, th, td {
  text-align: left;
  font-weight: normal;
  vertical-align: middle;
}

td, th {
  border: 1px solid var(--col-border);
  vertical-align: top;
  padding: .2rem 1.5rem;
  font-size: .95rem;
}

th {
  font-weight: 700;
  background-color: var(--col-bg-highlight);
}

thead tr {
  border-bottom: 4px double var(--col-border);
}

/* Forms */
form {
  font-size: .7rem;
  padding: 1rem;
  width: 80%;
  margin: 1rem auto;
}

input, button, output, textarea, select {
  font: inherit;
  margin: 1rem;
  padding: .2rem;
  border: 1px solid black;
  border-radius: .3rem;
}

textarea:not([rows]) {
  min-height: 10em;
}

button {
  font-weight: bold;
  padding: .5rem;
}

#login_form {
  text-align: center;
}

input#password {
  position: relative;
  left: -.5rem;
}

/* Custom divs */
div.warning {
  padding: 1rem 1rem 0.2rem;
  border: 1px solid var(--col-warning-border);
  border-radius: .5rem;
  margin: 1rem auto;
  font-size: 0.7rem;
  width: 60%;
  background-color: var(--col-warning-bg);
}

div.warning::before {
  content: "Nota Bene";
  position: relative;
  top: -.8rem;
  left: -.8rem;
  border-radius: .3rem;
  background-color: var(--col-warning-label-bg);
  padding: .1rem .4rem;
  font-size: .7rem;
  font-weight: bold;
  color: var(--col-warning-label-fg);
}

div.warning code {
  font-weight: bold;
  font-size: 0.5rem;
  background-color: var(--col-bg-muted);
  color: var(--col-warning-code-fg);
}

/* Function documentation blocks */
div.function {
  padding: .5rem 1rem .5rem;
  border-left: 3px solid var(--col-border);
  margin: 0 0 1.2rem;
  background-color: var(--col-bg-white);
  border-radius: 0 .3rem .3rem 0;
}

div.function blockquote {
  font-family: var(--font-mono);
  font-size: 1rem;
  margin: 0 0 .7rem;
  padding: .3rem .6rem;
  background-color: var(--col-bg-muted);
  border-radius: .3rem;
}

/* Variable type classes */
.str, .num, .tbl, .bool, .fn, .func,
.file, .dir, .err, .arg, .flag, .meta,
.neg, .multi, .status, .nil, .def {
  font-weight: bold;
  border: none;
  background-color: #f8f8f8;
}

/* Primary types */
.str    { color: var(--col-var-str); }
.num    { color: var(--col-var-num); }
.bool   { color: var(--col-var-bool); }
.tbl    { color: var(--col-var-tbl); }
.fn     { color: var(--col-var-fn); }
.func   { color: var(--col-var-func); }
.file   { color: var(--col-var-file); }
.dir    { color: var(--col-var-dir); }
.nil    { color: var(--col-var-nil); }

/* Role/state types */
.err    { color: var(--col-var-err); }
.arg    { color: var(--col-var-arg); }
.flag   { color: var(--col-var-flag); }
.meta   { color: var(--col-var-meta); }
.neg    { color: var(--col-var-neg); }
.multi  { color: var(--col-var-multi); }
.status { color: var(--col-var-status); }

/* Decorator pseudo-elements */
.tbl::before,  .tbl::after,
.fn::before,   .fn::after,
.func::before, .func::after {
  font-size: .7em;
  padding: .1em;
}

.tbl::before   { content: "{";  color: var(--col-var-tbl-surround); }
.tbl::after    { content: "}";  color: var(--col-var-tbl-surround); }
.fn::before    { content: "ƒ("; color: var(--col-var-fn-surround); }
.fn::after     { content: ")";  color: var(--col-var-fn-surround); }
.func::before  { content: "ƒ("; color: var(--col-var-fn-surround); }
.func::after   { content: ")";  color: var(--col-var-fn-surround); }

/* .or_nil: "?" suffix — used alongside a type class */
.or_nil::after {
  content: "?";
  color: var(--col-var-meta);
  font-size: .8em;
}

.tbl.or_nil::after {
  content: "}?";
  color: var(--col-var-tbl-surround);
  font-size: .7em;
  padding: .1em;
}

.fn.or_nil::after,
.func.or_nil::after {
  content: ")?";
  color: var(--col-var-fn-surround);
  font-size: .7em;
  padding: .1em;
}

/* State/modifier classes */
.req {
  border: 2px solid var(--col-border);
}

.def {
  background-color: var(--col-bg-muted);
  font-size: .6em;
  margin-left: -.6em;
}

.date {
    font-size: 70%;
    display: block;
    text-align: center;
    width: 10rem;
    margin: auto;
}
/* Error page */
#error {
  padding: 4rem;
  width: 100%;
  text-align: center;
}

#error img {
  display: block;
  margin: 2rem auto 0;
  width: 15rem;
}

#title.error {
  color: #ddd;
  text-shadow: 1px 1px 1px #aaa;
}

#home {
  padding: 0;
  opacity: .7;
  text-align: center;
}

#error h3 {
  font-family: var(--font-main);
  text-align: center;
  font-size: 3rem;
  animation: fadeout var(--err-duration) forwards;
}

#error h3 ~ h3 {
  transform: translate(0, -0.1rem) scale(1, -1);
  animation-name: fadeout2;
}

@keyframes fadeout {
  to {
    opacity: .2;
    transform: scale(0.8);
  }
}

@keyframes fadeout2 {
  from { transform: translate(0, -0.1rem) scale(1, -1); }
  to {
    opacity: .2;
    transform: translate(0, -0.1em) scale(0.8, -0.8);
  }
}

p.error {
  padding: 2rem;
  text-align: center;
  animation: fadeout var(--err-duration) forwards;
}

footer p.error {
  animation: none;
  font-size: .5rem;
}

footer p.error span {
  font-weight: bold;
}