/*
 * Page history appended by gitrep, and the home page's Recent changes in the
 * same style (src/gitrep/cli.py: add_history, recent_changes).
 */
.md-typeset .gitrep-history {
  margin-top: 3em;
  padding-top: 0.8em;
  border-top: 1px solid var(--md-default-fg-color--lightest);
  color: var(--md-default-fg-color--light);
  font-size: 0.75em;
}

.md-typeset .gitrep-history p {
  margin: 0 0 0.4em;
}

.md-typeset .gitrep-history ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.md-typeset .gitrep-history li {
  margin: 0;
}