表の行間隔を詰める

表の行間隔を詰めて表を小さくするのは基本だよね☆

と言われた気がするので表の行間隔を詰めます。\arraystretch を再定義してあげれば良いので、以下のようにする。

\renewcommand{\arraystretch}{0.8}
\renewcommand{\doublerulesep}{1pt}

1を基準に拡大したり縮小したりできます。 \doublerulesep は c||ccc みたいに二重線を作ったときに、その間隔を指定できる。