.md-grid {
    max-width: 100%;
  }

.md-typeset [type=checkbox]:checked+.task-list-indicator:before {
  background-color: lightgray;
}

h2 {
  border-left: 1px solid lightgray;
  padding-left: 0.5em;
  border-top: 1px solid lightgray;
  padding-top: 0.5rem;
  margin-left: -15px;
}


h3, h4, h5, h6 {
  border-top: 1px solid lightgray;
  padding-top: 0.5rem;
}

.md-nav__item--section {
  border-top: 1px solid lightgray;
  padding-top: 0.5rem;
}

/* Admonition for Juvix code blocks */

:root {
  --md-admonition-icon--code: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M8 3a2 2 0 0 0-2 2v4a2 2 0 0 1-2 2H3v2h1a2 2 0 0 1 2 2v4a2 2 0 0 0 2 2h2v-2H8v-5a2 2 0 0 0-2-2 2 2 0 0 0 2-2V5h2V3m6 0a2 2 0 0 1 2 2v4a2 2 0 0 0 2 2h1v2h-1a2 2 0 0 0-2 2v4a2 2 0 0 1-2 2h-2v-2h2v-5a2 2 0 0 1 2-2 2 2 0 0 1-2-2V5h-2V3z"/></svg>')
}
.md-typeset .admonition.code,
.md-typeset details.code {
  border-color: rgb(223, 226, 224);
}
.md-typeset .code > .admonition-title,
.md-typeset .code > summary {
  background-color: rgba(223, 226, 224, 0.1); /* the background color is a bit too dark, so we lighten it */
}
.md-typeset .code > .admonition-title::before,
.md-typeset .code > summary::before {
  background-color: rgb(223, 226, 224);
  -webkit-mask-image: var(--md-admonition-icon--code);
          mask-image: var(--md-admonition-icon--code);
}

/* Admonition for definitions */

:root {
  --md-admonition-icon--definition: url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16"><path d="M3 2.75C3 1.784 3.784 1 4.75 1h6.5c.966 0 1.75.784 1.75 1.75v11.5a.75.75 0 0 1-1.227.579L8 11.722l-3.773 3.107A.751.751 0 0 1 3 14.25Zm1.75-.25a.25.25 0 0 0-.25.25v9.91l3.023-2.489a.75.75 0 0 1 .954 0l3.023 2.49V2.75a.25.25 0 0 0-.25-.25Z"/></svg>')
}
.md-typeset .admonition.definition,
.md-typeset details.definition {
  border-color: rgb(223, 226, 224);
}
.md-typeset .definition > .admonition-title,
.md-typeset .definition > summary {
  background-color: rgba(223, 226, 224, 0.1); /* the background color is a bit too dark, so we lighten it */
}
.md-typeset .definition > .admonition-title::before,
.md-typeset .definition > summary::before {
  background-color: rgb(223, 226, 224);
  -webkit-mask-image: var(--md-admonition-icon--definition);
          mask-image: var(--md-admonition-icon--definition);
}