The past couple of Jenkins releases have included small CSS improvements. It's great to see Jenkins improving in this area.