pre {
  overflow: auto;
}

pre.doctest {
  border-left: 3px solid #99f;
  padding-left: 1em;
}

pre.output {
  border-left: 3px solid #9f9;
  padding-left: 1em;
}

.doctest-example-prompt {
  color: #333;
}

.doctest-success {
  color: #060;
}

.doctest-failure {
  color: #600;
}

.doctest-example-detail {
  color: #060;
  font-weight: bold;
}

a.doctest-failure-link {
  text-decoration: none;
}

a.doctest-failure-link:hover {
  text-decoration: underline;
}

.doctest-example:target {
  border-left: 3px solid #f00;
}

div.test:target {
  border: 3px solid #ff0;
}

div.test {
  border: 1px solid #999;
  margin-bottom: 1em;
}

div.test .test-id {
  position: relative;
  float: right;
  background-color: #000;
  color: #bbb;
  padding: 3px;
}

div.test .test-id a:link,
div.test .test-id a:visited {
  color: #bbb;
  text-decoration: none;
}

div.test .test-id a:hover {
  text-decoration: underline;
}