body {
  font-family: Helvetica, Arial, Sans-serif;
  font-size: 14px;
  padding: 2em;
}
#description {
  border: 2px solid #999;
  padding: 2em;
  margin: 2em;
}
#lead {
  font-size: 1.2em;
  color: #666;
}
.highlight {
  background-color: yellow;
  font-weight: bold;
}

nav.top ul {
  display: flex;
}
nav.top ul li {
  margin: 0px;
  padding: 10px 25px;
  border-inline: 2px solid #333;
  margin-left: -2px;
  background-color: cornsilk;
  list-style: none;
}
nav.top ul li:hover {
  background-color: blanchedalmond;
  list-style: none;
  display: block;
}