ui: HTML interface: tweaks