Use codemirror styles for textarea input (i.e. syntax highlighting).

[kadrach]

So pretty!

[kinow]

Pretty!!!

Just had to bump up the parent. Looks like CodeMirror was not available in Jenkins 1.424, but it was about time for us to update the parent (specially given that 2.x is the new LTS)

Thanks heaps @kadrach
Merged, will be included in the next release in the following days (we are having a development cycle for BioUno right now).

[kinow]

Actually... release early release often. Cutting a release right now :) available from Jenkins update centre in the next hour(s).

[kadrach]

Welcome!