Integrate glossary (definitions panel).
Eye icon.
Adjustments for mobile view.
Labels for context toggles.
Fix styles of annotations in doc title.