-
Matthias Clasen authored
The theme was not kept up-to-date when notebook tabs were recently refactored. Fix it to show some indication of the active tab.
7cd3e7c8
The theme was not kept up-to-date when notebook tabs were recently refactored. Fix it to show some indication of the active tab.