Per-account CSS editing for those in the HR group

We are using codemirror as an example