minor CSS tweaks, addresses #1030 and #1032