Making the fake IE7 border-box code use less characters.