Some final(?) CSS tweaks.