As maintainer of https://moodle.org/plugins/atto_styles, I had a look at your highly appreciated tiny_styles plugin (as of 8604e92). And I particularly tried the same ...