.odoc-dot-diagram {
  margin: 1em 0;
  overflow: auto;
}

.odoc-dot-diagram svg,
.odoc-dot-diagram img {
  max-width: 100%;
  height: auto;
}

.odoc-dot-diagram pre {
  background: #f5f5f5;
  padding: 1em;
  border-radius: 4px;
  overflow-x: auto;
}

.odoc-dot-error pre {
  color: #c00;
}