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

  padding: 1ex;
  margin-left: 3em;
  margin-right: 3em;
  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;
}