#glossary-search {
  width: 100%;
  padding: 10px;
  margin-bottom: 15px;
}

.glossary-az-nav {
  margin-bottom: 20px;
}

.glossary-az-nav a {
  margin-right: 10px;
  text-decoration: none;
  font-weight: bold;
}

.glossary-entries h2 {
  margin-top: 30px;
  border-bottom: 1px solid #ccc;
}

.glossary-entries ul {
  list-style-type: none;
  padding-left: 0;
}

.glossary-entries li {
  margin: 5px 0;
}
mark {
    background-color: yellow;
    font-weight: bold;
}