mirror of
https://github.com/moodle/moodle.git
synced 2025-04-24 09:55:33 +02: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.