.tree .tree-caption {
  color: #006382;
  font-size: 1.3rem;
}

.tree li {
  cursor: default;
}

.tree .title:hover,
.tree .selected {
  color: #a300ff;
  background-color: rgb(244, 239, 249);
  border-bottom: dashed 1px #7100b1;
}

html.dark .tree .title:hover,
html.dark .tree .selected {
  background-color: #1d1d1d;
  color: #009d9d;
  border-bottom: dashed 1px #036f6f;
}

/*# sourceMappingURL=tree.css.map */