mirror of
https://github.com/moodle/moodle.git
synced 2025-02-21 01:48:45 +01: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