body{
  margin-left: auto;
  margin-right: auto;
  width: 80%;
  background-color: #FDEAD7;
}
table{
  border-collapse: collapse;
}
thead{
  font-weight: bold;
}
table, th, td{
  padding: 7px;
  border: solid 1px black;
}
span{
  border-bottom: 1px solid;
}
.code{
  border-bottom: none;
  color: #123212;
  font-family: Courier;
  font-weight: bold;
}
.highlight{
  color: #B30000;
}
.example{
  border-bottom: none;
  font-style: italic;
}
