/* Custom format for numbering steps in examples. */
.step-number {
  font-size: 120%;
  font-weight: bold;
  margin-bottom: 0;
}

.margin-top-1 {
  margin-top: 20px;
}

.todo {
  color: red;
}

.with-border {
  border: black solid 1px;
}
