minor html ui tweaks