The current styles editor gives a quite limited experience. It's ok for quite basic changes but not good enough for bigger ones.
Having the ability to update CSS manually would give a huge flexibility and would convert the developer portal into a much more powerful tool.
Is that a feature that can be added somehow?