ウィンドウサイズ変更枠を含めて高々9px、これを無駄と言うほどなんだから
普段からどれだけ切り詰めて効率的な画面で作業しているのか見てみたいですね