#header {
  text-align: center;
  margin: 0 0 30px 0;
}
.autoimg {
  background-color: #fff;
  border: 1px solid #d1d1d1;
  border-radius: 4px;
  min-height: 330px;
}
.autoimg > svg {
  width: 100%;
  height: 600px;
}
.autospec {
  padding: 0;
  margin: 0;
}
.autospec > textarea {
  width: 100%;
  min-height: 330px;
  padding: 6px 10px;
  background-color: #fff;
  border: 1px solid #d1d1d1;
  border-radius: 4px;
  box-shadow: none;
  box-sizing: border-box;
  resize: vertical;
}
.state > ellipse {
  fill: none;
  stroke: #000;
}
.state > text {
  font-size: 10pt;
}
.arrowHead {
  fill: #000;
}
.edge > path {
  fill: none;
  stroke: #000;
  stroke-width: 1.5px;
}
.edge > text {
  font-size: 8pt;
}