:root {
  /* Color palette — Gruvbox dark */
  --gruvbox-bg-hard:  #1d2021;
  --gruvbox-bg:       #282828;
  --gruvbox-bg1:      #3c3836;
  --gruvbox-bg2:      #504945;
  --gruvbox-bg4:      #7c6f64;
  --gruvbox-fg4:      #a89984;
  --gruvbox-fg3:      #bdae93;
  --gruvbox-fg2:      #d5c4a1;
  --gruvbox-fg1:      #ebdbb2;
  --gruvbox-fg0:      #fbf1c7;
  --gruvbox-red:      #cc241d;
  --gruvbox-orange:   #d65d0e;
  --gruvbox-yellow:   #d79921;
  --gruvbox-green:    #8ec07c;
  --gruvbox-green-b:  #b8bb26;
  --gruvbox-aqua-d:   #458588;
  --gruvbox-aqua:     #83a598;
  --gruvbox-purple-d: #8f3f71;
  --gruvbox-purple:   #b16286;
  --gruvbox-pink:     #d3869b;
  --gruvbox-gold:     #fabd2f;
  --gruvbox-orange-b: #fe8019;
  --gruvbox-gray:     #928374;

  /* Semantic colors */
  --col-main:           var(--gruvbox-bg1);
  --col-body-bg:        white;
  --col-selection:      rgba(250, 189, 47, 0.2);
  --col-page-title:     var(--gruvbox-aqua-d);
  --col-list-markers:   var(--gruvbox-aqua-d);
  --col-headers:        var(--gruvbox-bg1);
  --col-link:           var(--gruvbox-aqua-d);
  --col-link-visited:   var(--gruvbox-purple);
  --col-link-hover-lo:  var(--gruvbox-fg0);
  --col-link-hover-hi:  var(--gruvbox-aqua);
  --col-link-hover-ul:  var(--gruvbox-gold);
  --col-border:         var(--gruvbox-fg3);
  --col-bg-white:       #fefbf7;
  --col-bg-subtle:      #fdfaf3;
  --col-bg-muted:       #f5f2ea;
  --col-bg-highlight:   #faf7ef;

  /* Warning div colors */
  --col-warning-border:   var(--gruvbox-orange-b);
  --col-warning-bg:       rgba(254, 128, 25, 0.07);
  --col-warning-label-bg: rgba(254, 128, 25, 0.15);
  --col-warning-label-fg: var(--gruvbox-orange-b);
  --col-warning-code-fg:  var(--gruvbox-purple);

  /* Variable type colors — Gruvbox dark (sourced from catalog.lua gruvbox.markdown.code) */
  --col-var-str:          #b8bb26;   /* gruvbox-green-b                  */
  --col-var-num:          #d79921;   /* gruvbox-yellow                   */
  --col-var-bool:         #83a598;   /* gruvbox-aqua                     */
  --col-var-tbl:          #b16286;   /* gruvbox-purple                   */
  --col-var-fn:           #d3869b;   /* gruvbox-pink                     */
  --col-var-func:         #d3869b;   /* alias for fn                     */
  --col-var-file:         #83a598;   /* gruvbox-aqua                     */
  --col-var-dir:          #458588;   /* gruvbox-aqua-d                   */
  --col-var-err:          #cc241d;   /* gruvbox-red                      */
  --col-var-arg:          #8ec07c;   /* gruvbox-green                    */
  --col-var-flag:         #83a598;   /* gruvbox-aqua                     */
  --col-var-meta:         #928374;   /* gruvbox-gray                     */
  --col-var-neg:          #cc241d;   /* gruvbox-red                      */
  --col-var-multi:        #d65d0e;   /* gruvbox-orange                   */
  --col-var-status:       #8ec07c;   /* gruvbox-green                    */
  --col-var-nil:          #928374;   /* gruvbox-gray (void/nothing)      */
  --col-var-tbl-surround: #8f3f71;   /* gruvbox-purple-d                 */
  --col-var-fn-surround:  #b16286;   /* gruvbox-purple                   */

  /* 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);
}

/* 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:not(section p) {
  padding: var(--content-padding);
  margin: 0 auto;
  max-width: var(--content-max-width);
  width: var(--content-width);
  text-align: center;
}

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: 20rem;
  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;
}

/* Combined: tbl/fn/func + or_nil share the single ::after pseudo-element,
   so combined selectors carry both the closing decorator and "?" */
.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;
}