Tiny tweak to margin around comments, and CSS version bump.