I just wanted to point out theme designer mode has been improved in Moodle 3.10, see also this post: https://moodle.org/mod/forum/discuss.php?d=410228
General developer forum
Finding CSS source file using DevTools
This discussion has been locked so you can no longer reply to it.