/* fonts */
html,
body,
.tooltip,
.popover {
  font-family: 'DejaVuSans';
}

pre,
code,
kbd,
samp,
.text-monospace {
  font-family: 'DejaVuSansMono';
}

/* margins */
body {
  min-height: 75rem;
}

h1 {
  margin-top: 4em;
}

h2 {
  margin-top: 2em;
  border-bottom: var(--bs-border-width) var(--bs-border-style) var(--bs-border-color) !important;
  padding-bottom: 0.5rem !important;
}

h3 {
  margin-top: 1em;
}

h4 {
  margin-top: 0.5em;
}

li p {
  margin-bottom: 0 !important;
}

/* links */
a.a-hover-red {
  color: inherit;
}

a.a-hover-red:hover {
  color: #cc0000 !important;
  text-decoration: none;
}

/* bootstrap examples/features */
.feature-icon {
  width: 4rem;
  height: 4rem;
  border-radius: .75rem;
}

.feature-icon-small {
  width: 3rem;
  height: 3rem;
}