ul {
  font-weight: bolder;
}
#info {
  font-weight: bolder;
  border-color: rgb(56, 48, 1);
  border-width: thin;
  border-style: solid;
}
.highlight-info {
  font-weight: bolder;
  background-color: rgb(234, 224, 88);
  border-width: thin;
  border-style: solid;
}
#heading {
  text-decoration: underline;
}
body {
  color: rgb(56, 48, 1);
  font-family: Georgia, "Times New Roman", Times, serif;
}