Theme code with scoped language rules, optional exercise-code recognition, stable editing and independent themes. Integrates with Notebook Navigator.