pre.example {
  /* Round Corners */
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  border-radius: 5px;

  padding: 1ex;
  border: 1px solid #c0c0c0;

  background-color: #f3f3f3;
}


code.example {
  /* Round Corners */
  -webkit-border-radius: 2px;
  -moz-border-radius: 2px;
  border-radius: 2px;

  padding: 0.3ex 1ex;
  margin: 0 0.3ex;

  background-color: #f0f0f0;
}

.reduced-width {
  width: 50em;
}

.summary {
  width: 12em;
  margin-top: 1.3em;
}