Tidy CSS; add IE7 workaround