or: #fff;
  margin: 0;
  padding: 0;
}

ol.toc {
  list-style: none;
  padding-left: 0;
}

ol.toc ol.toc {
  padding-left: 2ex;
  list-style: none;
}

var {
  color: #2aa198;
  transition: background-color 0.25s ease;
  cursor: pointer;
}

var.referenced0 {
  color: inherit;
  background-color: #ffff33;
  box-shadow: 0 0 0 2px #ffff33;
}
var.referenced1 {
  color: inherit;
  background-color: #ff87a2;
  box-shadow: 0 0 0 2px #ff87a2;
}
var.referenced2 {
  color: inherit;
  background-color: #96e885;
  box-s