[bgc]

> does there exist a well-defined secure subset of CSS such that we don't have to worry about weird vulnerabilities?

I don’t know the answer, but if it is “no,” would it be feasible to add a few more user settings ala topcolor to achieve a more basic version of this?

[dang]

The intention is to avoid adding user settings, while still giving people a way to make the UI how they like it.