@import url("/style.css");

div.example {
  margin: 2ex 2ex;
}

pre.example strong {
  color: green;
}