various html tweaks