#cse-search-box {
  padding-bottom: 1.2em;
}
ul#index {
  list-style: none;
  padding-left: 0;
}

dt {
  font-weight: bold; margin-top: 1em;
}
dt:after { content: ":"; }
dt:first-child, dd > *:first-child {
  margin-top: 0;
}
span.case-title {
  font-style: italic;
}