WebTop XML Editor supporting Operations on Views generated by User-Defined Styles