theme-extension
Domain: JupyterLab GUI
🎯 Motivation
A JupyterLab extension that provides a CSS theme. Registered via IThemeManager, it can override colors, fonts, and layout styles.
📋 Concrete Example
Create a theme plugin with manager.setTheme('mytheme') and ship a index.css with CSS variables.
🔗 Analogy
A theme extension is a phone wallpaper — it changes the look without altering the apps underneath.