better CSS padding (closes #31)