mirror of
https://github.com/moodle/moodle.git
synced 2025-03-28 11:32:42 +01:00
Having a distinguishable class "activity-navigation" added to the activity navigation allows that part to be easily styled. It could for example be excluded from printing. Furthermore, this is providing consistency. Other navigation elements have proper own classes as well.