miscellaneous HTML tweaks