/* Links become blue inside of <hN> elements otherwise. */
h1 a,
h2 a,
h3 a,
h4 a,
h5 a,
h6 a {
  color: inherit;
}
span.badge {
  /* Link captions might become too close to badges on the sidebar. */
  margin-left: .5em;
  /* Color badges in the color of grass.
   * TODO: research if this can be set in the config or factor it out into a
   * variable. */
  background-color: #008567;
}
/* Add horizontal scrollbars to <pre>s and don't wrap the code inside. */
pre {
  overflow-x: auto;
}
pre code {
  white-space: pre;
  word-wrap: normal;
}
/* Fixup syntax.css, which sets the code background to white. */
.highlight {
  background-color: #fafafa !important;
}
/* Prevent <code> elements from standing out from alerts. */
.alert code {
  padding: 0;
  background-color: inherit;
}
/* Don't color category links blue. */
.text-muted a.category {
  color: inherit;
}
/* WTF? Sometimes I want to skip .list-group-item-text, and I don't want the
 * margin for the heading. */
.list-group-item-heading:last-child {
  margin-bottom: 0;
}