miscellaneous style tweaks