Section for Custom CSS?

Would it be possible to add an option to devtools author where you can paste your own CSS? I understand we can make our own themes, but often I want to just tweak 1 or 2 minor things and it seems a little involved to have to clone this repo just for that. 

If this is outside of the scope, do you know of a plugin that does this?
