#main code, #main e, #main eiffel {
  display: block;
  font-family: monospace;
  white-space: pre-wrap;
  border: solid 1px #ccc;
  background-color: #fff;
  line-height: 1.3;
  padding: 10px;
  margin: 2px 0 2px 0;
}
#main code.inline, #main e.inline, #main eiffel.inline {
  display: inline-block;
  padding: 0 2px 0 2px;
  margin: 0;
}