/* API commands description headers */
h3 {
  font-family:monospace;
  text-shadow:unset;
  /* extra margin top for smoothscroll */
  padding-top: 10px;
}
h2 {
  /* extra margin top for smoothscroll */
  padding-top: 10px;
}

dl.horizontal dt {
  width: 375px;
  margin-right:15px;
}

td, th {
  padding: 5px 20px 5px 0px;
}

/* Overrides the color for h4.link -> a titles on this page */
h4.link a,
h4.link a:hover,
h4.link a:focus {
  color: rgb(55, 55, 55);
}
