/* Content width
   https://squidfunk.github.io/mkdocs-material/setup/setting-up-navigation/?h=navigation#content-area-width */

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

/* Code display */

pre.Agda {
  color: var(--md-text-fg-color);
  background-color: var(--md-text-bg-color);
  /* font-family: var(--md-text-font-family); */
}

code.Agda {
  color: var(--md-code-fg-color);
  background-color: var(--md-code-bg-color);
  /* font-family: var(--md-code-font-family); */
}

/* Highlight module declaration */

.Agda a.Module.Definition {
  text-decoration: underline;
  font-weight: bold;
}

/* Search */

/* Hide the previews, as recommended in a discussion answer
(https://github.com/squidfunk/mkdocs-material/discussions/5817#discussioncomment-6662100) */

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