a few more style tweaks to the default theme