more style tweaks, some fixes for Firefox bug