default.css in HTMLEditor