userstyles.org css highlighter

Formats and highlights CSS code shown after [Show CSS] clicking. (works with the new userstyles.org layout).

Ekde 2017/12/16. Vidu La ĝisdata versio.