@import url("default.css");

.red {
  color: red;
}

.green {
  color: green;
}

.violet {
  color: magenta;
}

.blue {
  color: blue;
}

div.admonition-spot p.admonition-title {
  display: none;
}