body {
  font-family: Palatino, serif;
  font-size: 18px;
}

header {
  text-align: center;
  border-top: 2px solid lightgray;
  margin-top: 20px;
  margin-bottom: 50px;
}

section {
  border-top: 2px solid lightgray;
}

li.group-item {
  margin-bottom: 12px;
}

dt {
  margin-bottom: 10px;
}

dd {
  margin-bottom: 20px;
}

footer {
  text-align: center;
  border-top: 2px solid lightgray;
  padding: 10px 0;
  margin-top: 20px;
  border-bottom: 2px solid lightgray;
  margin-bottom: 50px;
}

/*
 * I defined this class to use in the search script.
 * It highlights a selected element with a light blue background.
 */

.highlight {
  background-color: lightblue;
  padding: 8px;
}