Hello,
I have tried to clean up my styles (sort them by name, look for duplicates etc.) and found that this was painful. So I made a method that takes a whole style from the clipboard and returns it neatly sorted. If anyone makes changes/optimizations please post that here.
This lead me to the idea, that it would be really cool to be able to let the user manipulate the style. *All* we would need for that is a application.getStyle(stylename) and application.setStyle(stylename, style). It'd be acceptible in my eyes if making changes woul require a re-login, if such a call would have be done very early in the solution loading process. The method below allows for very simple storage in two tables (styles and style_elements). Actually, we have a table like that already for our own HTML styles. We also have an interface that allows to manipulate those, so all that is missing is application.setStyle(stylename, style).
If anyone else thinks that'd be helpful, I make it a feature request.
Enjoy and share improvements on whatever part of this!