Hate the enormous padding between lines in new Gmail? Maybe you hadn't noticed this little option, like me.