@keyframes heart {
  0%,
  40%,
  80%,
  100% {
    transform: scale(1);
  }
  20%,
  60% {
    transform: scale(1.15);
  }
}
.heart {
  animation: heart 1000ms infinite;
}

:root {
  --md-juvix-inductive: #a6da95;
  --md-juvix-constructor: #c6a0f6;
  --md-juvix-function: #eed49f;
  --md-juvix-axiom: #ed8796;
  --md-juvix-string: #ee99a0;
  --md-juvix-keyword: #7dc4e4;
  --md-juvix-delimiter: #939ab7;
  --md-juvix-var: #cad3f5;
  --md-juvix-fixity: #f5a97f;
  --md-juvix-comment: #a5adcb;
  --md-juvix-judoc: #8bd5ca;
  --md-juvix-number: #b8c0e0;
  --md-juvix-hover: #4c566a;
}

[data-md-color-scheme="juvix-light"] {
  --md-hue: 225deg;
  --md-default-fg-color: #000000de;
  --md-default-fg-color--light: #0000008a;
  --md-default-fg-color--lighter√√: #00000052;
  --md-default-fg-color--lightest: #00000012;
  --md-default-bg-color: #fff;
  --md-default-bg-color--light: #ffffffb3;
  --md-default-bg-color--lighter: #ffffff4d;
  --md-default-bg-color--lightest: #ffffff1f;
  --md-code-fg-color: #36464e;
  --md-code-bg-color: #f5f5f5;
  --md-code-bg-color--light: #f5f5f5b3;
  --md-code-bg-color--lighter: #f5f5f54d;
  --md-code-hl-color: #4287ff;
  --md-code-hl-color--light: #4287ff1a;
  --md-code-hl-number-color: #d52a2a;
  --md-code-hl-special-color: #db1457;
  --md-code-hl-function-color: #a846b9;
  --md-code-hl-constant-color: #6e59d9;
  --md-code-hl-keyword-color: #3f6ec6;
  --md-code-hl-string-color: #1c7d4d;
  --md-code-hl-name-color: var(--md-code-fg-color);
  --md-code-hl-operator-color: var(--md-default-fg-color--light);
  --md-code-hl-punctuation-color: var(--md-default-fg-color--light);
  --md-code-hl-comment-color: var(--md-default-fg-color--light);
  --md-code-hl-generic-color: var(--md-default-fg-color--light);
  --md-code-hl-variable-color: var(--md-default-fg-color--light);
  --md-typeset-color: var(--md-default-fg-color);
  --md-typeset-a-color: var(--md-primary-fg-color);
  --md-typeset-del-color: #f5503d26;
  --md-typeset-ins-color: #0bd57026;
  --md-typeset-kbd-color: #fafafa;
  --md-typeset-kbd-accent-color: #fff;
  --md-typeset-kbd-border-color: #b8b8b8;
  --md-typeset-mark-color: #ffff0080;
  --md-typeset-table-color: #0000001f;
  --md-typeset-table-color--light: rgba(0, 0, 0, 0.035);
  --md-admonition-fg-color: var(--md-default-fg-color);
  --md-admonition-bg-color: var(--md-default-bg-color);
  --md-warning-fg-color: #000000de;
  --md-warning-bg-color: #ff9;
  --md-footer-fg-color: #fff;
  --md-footer-fg-color--light: #ffffffb3;
  --md-footer-fg-color--lighter: #ffffff73;
  --md-footer-bg-color: #000000de;
  --md-footer-bg-color--dark: #00000052;
  --md-shadow-z1: 0 0.2rem 0.5rem #0000000d, 0 0 0.05rem #0000001a;
  --md-shadow-z2: 0 0.2rem 0.5rem #0000001a, 0 0 0.05rem #00000040;
  --md-shadow-z3: 0 0.2rem 0.5rem #0003, 0 0 0.05rem #00000059;
  color-scheme: light;
  --md-juvix-inductive: #40a02b;
  --md-juvix-constructor: #8839ef;
  --md-juvix-function: #fe640b;
  --md-juvix-axiom: #d20f39;
  --md-juvix-string: #e64553;
  --md-juvix-keyword: #04a5e5;
  --md-juvix-delimiter: #5c5f77;
  --md-juvix-var: #179299;
  --md-juvix-fixity: #f5a97f;
  --md-juvix-comment: #6c6f85;
  --md-juvix-judoc: #209fb5;
  --md-juvix-number: #7287fd;
  --md-juvix-hover: #cdcdcdbe;
}

[data-md-color-scheme="juvix-dark"] {
  --md-default-fg-color: hsla(var(--md-hue), 15%, 90%, 0.82);
  --md-default-fg-color--light: hsla(var(--md-hue), 15%, 90%, 0.56);
  --md-default-fg-color--lighter: hsla(var(--md-hue), 15%, 90%, 0.32);
  --md-default-fg-color--lightest: hsla(var(--md-hue), 15%, 90%, 0.12);
  --md-default-bg-color: hsla(var(--md-hue), 15%, 14%, 1);
  --md-default-bg-color--light: hsla(var(--md-hue), 15%, 14%, 0.54);
  --md-default-bg-color--lighter: hsla(var(--md-hue), 15%, 14%, 0.26);
  --md-default-bg-color--lightest: hsla(var(--md-hue), 15%, 14%, 0.07);
  --md-code-fg-color: hsla(var(--md-hue), 18%, 86%, 0.82);
  --md-code-bg-color: hsla(var(--md-hue), 15%, 18%, 1);
  --md-code-bg-color--light: hsla(var(--md-hue), 15%, 18%, 0.9);
  --md-code-bg-color--lighter: hsla(var(--md-hue), 15%, 18%, 0.54);
  --md-code-hl-color: #2977ff;
  --md-code-hl-color--light: #2977ff1a;
  --md-code-hl-number-color: #e6695b;
  --md-code-hl-special-color: #f06090;
  --md-code-hl-function-color: #c973d9;
  --md-code-hl-constant-color: #9383e2;
  --md-code-hl-keyword-color: #6791e0;
  --md-code-hl-string-color: #2fb170;
  --md-code-hl-name-color: var(--md-code-fg-color);
  --md-code-hl-operator-color: var(--md-default-fg-color--light);
  --md-code-hl-punctuation-color: var(--md-default-fg-color--light);
  --md-code-hl-comment-color: var(--md-default-fg-color--light);
  --md-code-hl-generic-color: var(--md-default-fg-color--light);
  --md-code-hl-variable-color: var(--md-default-fg-color--light);
  --md-typeset-color: var(--md-default-fg-color);
  --md-typeset-a-color: var(--md-primary-fg-color);
  --md-typeset-kbd-color: hsla(var(--md-hue), 15%, 90%, 0.12);
  --md-typeset-kbd-accent-color: hsla(var(--md-hue), 15%, 90%, 0.2);
  --md-typeset-kbd-border-color: hsla(var(--md-hue), 15%, 14%, 1);
  --md-typeset-mark-color: #4287ff4d;
  --md-typeset-table-color: hsla(var(--md-hue), 15%, 95%, 0.12);
  --md-typeset-table-color--light: hsla(var(--md-hue), 15%, 95%, 0.035);
  --md-admonition-fg-color: var(--md-default-fg-color);
  --md-admonition-bg-color: var(--md-default-bg-color);
  --md-footer-bg-color: hsla(var(--md-hue), 15%, 10%, 0.87);
  --md-footer-bg-color--dark: hsla(var(--md-hue), 15%, 8%, 1);
  --md-shadow-z1: 0 0.2rem 0.5rem #0000000d, 0 0 0.05rem #0000001a;
  --md-shadow-z2: 0 0.2rem 0.5rem #00000040, 0 0 0.05rem #00000040;
  --md-shadow-z3: 0 0.2rem 0.5rem #0006, 0 0 0.05rem #00000059;
  color-scheme: dark;
}