devtools-core
devtools-core copied to clipboard
[themes] Remove CSS namespaces
We currently namespace our CSS themes, this is making it hard to keep the themes in sync.
We should remove the prefixes and so something else:
- write a small theme loader (we can't use MCs because it's priviledged)
- do some post-processing with post-css