mirror of
https://github.com/moodle/moodle.git
synced 2025-04-06 00:42:44 +02:00
Provides a bit more compact layout. Finally cleans up the relevant LESS files and makes available updates info boxes consistent across all screens where they are displayed.