mirror of
https://github.com/moodle/moodle.git
synced 2025-02-19 07:41:02 +01:00
but in a way that makes it uniform with the other two course formats. In social, the empty space is now 9 pixels instead of 7. Oh well, that's life.