:root {/* {{{ */
  /* 2026-01-15 responsive text colors */
  @media (prefers-color-scheme: light) {
    /* From tokyonight day */
    --bg: #ffffff;
    --bg-dark: #e1e1e9;
    --bg-dark1: #f1f1f4;
    --bg-highlight: #bdc2d6;
    --blue: #083085;
    --blue0: #c9d3ed;
    --blue1: #1b96ac;
    --blue2: #0a91a8;
    --blue5: #0098d6;
    --blue6: #0c9c9a;
    --blue7: #b1bdd7;
    --comment: #4f577d;
    --cyan: #0071b3;
    --dark3: #545c7e;
    --dark5: #5d648c;
    --fg: #000000;
    --fg-dark: #293156;
    --fg-gutter: #c6cadc;
    --green: #349900;
    --green1: #27956a;
    --green2: #32804d;
    --magenta: #7d3df0;
    --magenta2: #ff007c;
    --orange: #cc4c00;
    --purple: #6135b1;
    --red: #e20d35;
    --red1: #bf2626;
    --teal: #14947b;
    --terminal-black: #5e6378;
    --yellow: #ad8200;
    --git-add: #449dab;
    --git-change: #6183bb;
    --git-delete: #914c54;
  }

  @media (prefers-color-scheme: dark) {
    /* From tokyonight storm */
    --bg: #24283b;
    --bg-dark: #1f2335;
    --bg-dark1: #1b1e2d;
    --bg-highlight: #292e42;
    --blue: #7aa2f7;
    --blue0: #3d59a1;
    --blue1: #2ac3de;
    --blue2: #0db9d7;
    --blue5: #89ddff;
    --blue6: #b4f9f8;
    --blue7: #394b70;
    --comment: #565f89;
    --cyan: #7dcfff;
    --dark3: #545c7e;
    --dark5: #737aa2;
    --fg: #c0caf5;
    --fg-dark: #a9b1d6;
    --fg-gutter: #3b4261;
    --green: #9ece6a;
    --green1: #73daca;
    --green2: #41a6b5;
    --magenta: #bb9af7;
    --magenta2: #ff007c;
    --orange: #ff9e64;
    --purple: #9d7cd8;
    --red: #f7768e;
    --red1: #db4b4b;
    --teal: #1abc9c;
    --terminal-black: #414868;
    --yellow: #e0af68;
    --git-add: #449dab;
    --git-change: #6183bb;
    --git-delete: #914c54;
  }
}/* }}} */

div.result, h2, h3, h4 {
  scroll-margin-top: 1.5rem;
}

div.result.theorem, div.result.proposition, div.result.corollary,
div.result.lemma, div.result.conjecture {
  font-style: italic;
  em { font-style: normal; }
  b.label { font-style: normal; }
}

div.result.theorem {
  /*
  border: var(--bs-border-width) var(--bs-border-style) var(--bs-border-color);
  border-radius: var(--bs-border-radius);
  padding: 1rem;
  p { margin: 0em;}
  */
  b.label, i.name { color: var(--blue6); }
}

div.result.proposition, div.result.corollary {
  b.label, i.name { color: var(--blue5); }
}

div.result.lemma {
  b.label, i.name { color: var(--blue1); }
}

div.result.conjecture {
  b.label, i.name { color: var(--red); }
}

div.result.remark, div.result.example {
  b.label, i.name { color: var(--blue2); }
}

div.result.definition {
  b.label, i.name { color: var(--orange); }
}

div.result.problem {
  b.label, i.name { color: var(--red); }
}

div.proof em.label {
  color: var(--green);
}

@media screen {
  div.proof.blur {
    &>:not(:first-child), &>p:first-child>span {
      filter: blur(.5ex);
      cursor: pointer;
      a { pointer-events: none; }
    }
  }
}

.width-31  { max-width: 31%; height: auto; }
.width-32  { max-width: 32%; height: auto; }
.width-33  { max-width: 33%; height: auto; }
.width-34  { max-width: 34%; height: auto; }
.width-35  { max-width: 35%; height: auto; }

.width-46  { max-width: 46%; height: auto; }
.width-47  { max-width: 47%; height: auto; }
.width-48  { max-width: 48%; height: auto; }
.width-49  { max-width: 49%; height: auto; }
.width-50  { max-width: 50%; height: auto; }


.small { font-size: .875em }

figure > figcaption { max-width: 80%; margin: auto; font-size: .875em }
figure { text-align: center }

h2 { color: var(--bs-primary-text-emphasis) }