body {
  margin-left: 2em;
  margin-right: 4em;
}

dt {
  color: brown;
  font-weight: bold;
  padding: 10px 0px 3px 0px;
}

dl {
  margin: 0px 0px 10px 0px;
/*  background-color: antiquewhite;*/
}

h4 { 
  margin: 0px;
}

.code { 
  border: 1px solid black;
  background-color: #eeeeff;
  margin: 1em;
  padding: 0.5em;
}