a few little tweaks to html styles