I am the developer of the Webpage HTML Export plugin and I was wanting to add support for this plugin to mine. However there is no way for me to easily differentiate your plugin's styles from other ones. It has the attribute colorful-tag-style but that cannot be detected in js because it has no value. It would be best if you were to just set the id of the style element to colorful-tag-style so I can directly find your stylesheet. (Basically any solution would work here as long as I am able to know which stylesheet is associated with the plugin in js).
I can also help implement this change if you would be willing to accept a PR. Let me know what you think.
I am the developer of the Webpage HTML Export plugin and I was wanting to add support for this plugin to mine. However there is no way for me to easily differentiate your plugin's styles from other ones. It has the attribute
colorful-tag-stylebut that cannot be detected in js because it has no value. It would be best if you were to just set the id of the style element tocolorful-tag-styleso I can directly find your stylesheet. (Basically any solution would work here as long as I am able to know which stylesheet is associated with the plugin in js).I can also help implement this change if you would be willing to accept a PR. Let me know what you think.