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

.navigation {
  text-align: center;
}

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

/* NS4 doesn't like it */ /*
dl.compact dd {
  margin-left: 4em;
}
*/

dl.compact dt {
  display: compact;
}

dl.table dt {
  display: compact;
}

/* NS4 doesn't know it at all */
dfn {
  font-weight: bold;
  font-style: normal;
}

.navigation span {
  font-weight: bold;
}