/* Open navbar dropdowns on hover. Bootstrap opens them on click, which is
   kept on narrow screens where there is no hover. */
@media (min-width: 768px) {
  #navbar-main .dropdown:hover > .dropdown-menu {
    display: block;
  }
}

/* Tools listed as plain entries: name, then what the tool does. */
/* Left margin matches Font Awesome's fa-ul, used by the publication list, so
   both sections start at the same indent. */
.tool-list {
  margin: 0 0 0 2.14285714em;
  padding: 0;
  list-style: none;
}

.tool-list li {
  margin-bottom: 0.75rem;
}

.tool-list .tool-name {
  font-weight: 700;
}