mirror of
https://github.com/moodle/moodle.git
synced 2025-04-25 10:26:17 +02:00
of styles a bit better. Works fine under standard and wood personalise it aparently without problems. Sure it can be improved...! Merged from MOODLE_15_STABLE