fix styles,         fix bug: labels partly shown in workspace because of HTML encoding