/* "Last updated" line injected under each page title by hooks/last_updated.py. */
.md-typeset .page-updated {
  margin-top: -1rem;
  color: var(--md-default-fg-color--light);
  font-size: 0.75rem;
}

/* The same date is shown under the title, so hide Material's copy at the page bottom. */
.md-source-file {
  display: none;
}