fix #144: user CSS is HTML safe
fixing user highlighting