CSS: small tweaks.