Allow users to change theme and font size of editor
Currently, it is only possible to do so from a VPL activity. Adding a way for users to change font size (and theme) during a quiz would be a nice addition (see https://moodle.org/mod/forum/discuss.php?d=451595#p1821008)