/* style.css
 *
 * General style sheet
 */

li, dd, dt, form {
  margin-top: 0em;
  margin-bottom: 0em;
}

dl.compact dt {
  display: compact;
}

dl.table dt {
  display: compact;
}

dfn {
  font-weight: bold;
  font-style: normal;
}

.navigation span {
  font-weight: bold;
}