/* html {
  overflow-y: scroll;
} */

.md-banner--warning {
  background-color: #838282;
  color: #f8f8f8;
}

:root {
  --md-juvix-inductive: #40a02b;
  --md-juvix-constructor: #8839ef;
  --md-juvix-function: #fe640b;
  --md-juvix-axiom: #e60c3b;
  --md-juvix-string: #e6606b;
  --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;
  --md-juvix-codeblock-footer: #c6c4c4be;
}

:root {
  --md-admonition-icon--diff: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16"><path d="M1 1.75C1 .784 1.784 0 2.75 0h7.586c.464 0 .909.184 1.237.513l2.914 2.914c.329.328.513.773.513 1.237v9.586A1.75 1.75 0 0 1 13.25 16H2.75A1.75 1.75 0 0 1 1 14.25Zm1.75-.25a.25.25 0 0 0-.25.25v12.5c0 .138.112.25.25.25h10.5a.25.25 0 0 0 .25-.25V4.664a.25.25 0 0 0-.073-.177l-2.914-2.914a.25.25 0 0 0-.177-.073ZM8 3.25a.75.75 0 0 1 .75.75v1.5h1.5a.75.75 0 0 1 0 1.5h-1.5v1.5a.75.75 0 0 1-1.5 0V7h-1.5a.75.75 0 0 1 0-1.5h1.5V4A.75.75 0 0 1 8 3.25Zm-3 8a.75.75 0 0 1 .75-.75h4.5a.75.75 0 0 1 0 1.5h-4.5a.75.75 0 0 1-.75-.75Z"/></svg>')
}

.md-typeset .admonition.diff,
.md-typeset details.diff {
  border-color: rgb(158, 159, 158);
}

.md-typeset .diff>.admonition-title,
.md-typeset .diff>summary {
  background-color: rgba(159, 161, 160, 0.1);
}

.md-typeset .diff>.admonition-title::before,
.md-typeset .diff>summary::before {
  background-color: rgb(104, 104, 104);
  -webkit-mask-image: var(--md-admonition-icon--diff);
  mask-image: var(--md-admonition-icon--diff);
}


.version-list {
  display: inline-block;
  margin: 0;
  padding: 0;
  list-style: none;
}

a.version-link {
  display: inherit;
  padding: 0rem 0.4rem;
  /* margin: 0.5rem 0; */
  border-radius: 0.25rem;
  /* background-color: #f5f5f5; */
  color: #333;
  text-decoration: none;
  transition: background-color 0.2s ease;
}


:root {
  --md-admonition-icon--todo: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6a1 1 0 0 1 1-1h5a1 1 0 0 1 1 1v5a1 1 0 0 1-1 1H4a1 1 0 0 1-1-1Zm1.5 4.5h4v-4h-4Zm8.25-5a.75.75 0 0 0 0 1.5h7.5a.75.75 0 0 0 0-1.5h-7.5Zm0 6a.75.75 0 0 0 0 1.5h7.5a.75.75 0 0 0 0-1.5h-7.5Zm0 6a.75.75 0 0 0 0 1.5h7.5a.75.75 0 0 0 0-1.5h-7.5Zm-2.97-2.53a.75.75 0 0 1 0 1.06l-3.5 3.5a.75.75 0 0 1-1.06 0l-2-2a.75.75 0 1 1 1.06-1.06l1.47 1.47 2.97-2.97a.75.75 0 0 1 1.06 0Z"/></svg>')
}

.md-typeset .admonition.todo,
.md-typeset details.todo {
  border-color: rgb(238, 121, 117);
}

.md-typeset .todo>.admonition-title,
.md-typeset .todo>summary {
  background-color: rgba(238, 121, 117, 0.1);
}

.md-typeset .todo>.admonition-title::before,
.md-typeset .todo>summary::before {
  background-color: rgb(238, 121, 117);
  -webkit-mask-image: var(--md-admonition-icon--todo);
  mask-image: var(--md-admonition-icon--todo);
}

/* Classic */

.md-typeset .admonition,
.md-typeset details {
  border-width: 0;
  border-left-width: 4px;
}

[data-md-color-primary=white] {
  --md-primary-fg-color: hsla(var(--md-hue), 0%, 100%, 1);
  --md-primary-fg-color--light: hsla(var(--md-hue), 0%, 100%, 0.7);
  --md-primary-fg-color--dark: hsla(var(--md-hue), 0%, 0%, 0.07);
  --md-primary-bg-color: hsla(var(--md-hue), 0%, 0%, 0.87);
  --md-primary-bg-color--light: hsla(var(--md-hue), 0%, 0%, 0.54);
  --md-typeset-a-color: #f50056;
}

[data-md-color-scheme=slate][data-md-color-primary=black],
[data-md-color-scheme=slate][data-md-color-primary=blue-grey],
[data-md-color-scheme=slate][data-md-color-primary=grey],
[data-md-color-scheme=slate][data-md-color-primary=white] {
  --md-typeset-a-color: #fa335b;
  --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;
  --md-juvix-codeblock-footer: #535354;
}

/*
.md-typeset pre {
  margin: 0;
  padding: 0;
} */

.md-typeset .tabbed-set {
  margin: 0;
}

.md-typeset figure {
  width: 100%;
}
