html: implement operation display