Just thought that this can be done with vanilla JS code…? (I don’t see any specific feature in `domStyle.set()` used here)