/*  Increase content area width to approximate 80-character code lines:
    https://jaywhj.github.io/mkdocs-materialx/setup/setting-up-navigation.html#content-area-width 
*/

.md-grid {
  max-width: 1440px;
}

/*  Use a slanted font for non-linked expanders in the navigation panel:
*/

.md-sidebar--primary .md-nav__link,
.md-path .md-path__item {
  font-style: oblique;
}

.md-sidebar--primary a.md-nav__link,
.md-path a.md-path__link {
  font-style: normal;
}

/*  Adjust color and font-size of Agda code:
*/

pre.Agda {
  color: var(--md-text-fg-color);
  background-color: var(--md-text-bg-color);
  font-size: .65rem;
}

code.Agda {
  color: var(--md-code-fg-color);
  background-color: var(--md-code-bg-color);
  font-size: 1em;
}

/*  Make the font-size for KaTeX the same as for running text: 
    https://katex.org/docs/font
*/

.katex {
  font-size: inherit;
  font-size: math;
  /* https://developer.mozilla.org/en-US/docs/Web/CSS/Reference/Properties/font-size#math */
}

/*  Hide the page previews in search results:
    https://github.com/squidfunk/mkdocs-material/discussions/5817#discussioncomment-6662100
*/

.md-search-result__article > :not(h1, h2, div) {
   display: none;
}