Resize a few headers and tighten up the Travis property docs