#973: small css improvement