// Styles for doc tests
.doc-test-ready {
  font-weight: bold;
  color: #333; }

.doc-test-failure {
  font-weight: bold;
  color: red; }

.doc-test-success {
  font-weight: bold;
  color: green; }