@@ -72,6 +72,7 @@ export class TableOfContents extends Widget {
this._monitor.dispose();
this._monitor = null;
}
+ console.log(this._current);
// If we are wiping the ToC, update and return...
if (!this._current) {
this.update();
@@ -173,7 +173,9 @@
.toc-entry-holder:hover .toc-Collapser-child {
- background: var(--jp-layout-color2);
+ box-shadow: var(--jp-elevation-z2);
+ background: var(--jp-brand-color1);
+ opacity: var(--jp-cell-collapser-not-active-hover-opacity);
.toc-active-cell .toc-Collapser-child {