.note-facts {
  display: grid;
  grid-template-columns: 8rem 1fr;
  gap: .25rem .6rem;
  margin: 1rem 0 1.5rem;
  padding-top: .55rem;
  border-top: 1px solid #dde3df;
  color: #52615b;
  font-size: .76rem;
  line-height: 1.5;
}
.note-facts dt { font-weight: 600; }
.note-facts dd { margin: 0; }
.note-status { margin: .3rem 0 1rem; font-size: .8rem; color: #52615b; }
.reference-tag, a.slug {
  font-family: ui-monospace, monospace;
  font-size: .78em;
  font-weight: normal;
  white-space: nowrap;
  color: #355d4d;
}
a.concept-link { text-decoration: underline dotted; text-underline-offset: .15em; }
a.concept-link:hover { text-decoration-style: solid; }
section[data-taxon="Definition"] > details {
  border-left: 2px solid #9aafa4;
  padding: .4rem 0 .1rem 1rem;
  margin: 1.6rem 0;
}
section[data-taxon="Definition"] > details > summary { margin-bottom: .65rem; }
section[data-taxon="Definition"] > details > summary > header > h1 > .taxon {
  color: #234936;
}
table { border-collapse: collapse; width: 100%; font-size: .9rem; }
th, td { padding: .5rem .6rem; text-align: left; border-bottom: 1px solid #dde3df; }
th { font-weight: 600; }
.status { font-weight: 600; }
.status-proved { color: #245c3b; }
.status-source-needed, .status-incomplete { color: #824d13; }
.katex-display { overflow-x: auto; overflow-y: hidden; padding: .25rem 0; }
/* Reserve room for equation numbers even when a long display must scroll. */
.katex-display > .katex > .katex-html:has(> .tag) {
  min-width: max-content;
  padding-right: 3.5em;
}
@media (max-width: 650px) {
  .note-facts { display: block; }
  .note-facts dd { margin-bottom: .5rem; }
}