div.total {
  margin-top: 1ex;
  background-color: #E0E0FF;
  border-top: #0000FF 1px solid;
  text-align: right;
  padding-right: 1em;
  padding-bottom: 0.5ex
}
div.refine {
  float: left
}
div.result {
  margin-top: 2ex
}
div.result img {
  float: left;
  padding-right: 1em
}
div.result div.meta {
  font-size: 90%;
  padding-left: 10ex;
  color: green
}
div.result div.meta a {
  color: green
}
div.result span.hi {
  background-color: #FFE0E0;
  font-weight: bold;
  padding-left: 0.5em;
  padding-right: 0.5em
}
div.resultpage {
  margin-top: 2ex;
  text-align: center
}
div.kbase {
  margin: 1ex 2em 0 2em;
  border: 1px #56008C solid;
  padding: 1ex 1em 1ex 1em;
  font-size: 110%
}
div.kbase ul {
  margin: 0.5ex 0 0 6em;
  font-size: 91%
}