div.example {
  border-style: solid;
  border-width: 1px;
  border-color: #c7f2c8;
  /*
  border-color: #5ab5ee;
  background-color: #DDDDDD;
  background-color: #c7f2c8;
  */
}
h3.example {
  /*
  background-color: #c7f2c8;
  */
  background-color: #5ab5ee;
  border-style: none;
  border-bottom: solid;
  font-weight: bold;
  color: white;
}
i.example {
  color: #33a333;
}
pre.example {
  border-style: none;
  font-weight: bold;
}
