/* Style for hover effect on citations */
/*.def,
.definition {
  background-color: #EBF5FF;
  border: 1px solid black;
  margin: 20px; 
  padding: 10px;
}*/

.nav-page-text {
  color: magenta;
  font-weight: bold;
}

.toc-link {
  color: black;
}

/*.mydefinition {
  background-color: #EBF5FF;
  border-left-width: 3px;
  border-right-width: 3px;
  border-style: solid;
  border-color: magenta;
  margin: 5px; 
  padding: 10px;
  border-radius: 10px;
}*/