Nice, I was mildly annoyed with the UI change. It takes longer for me to see which tab was active with the style and I didn't really find it any more pleasing to look at.
At least choosing a different theme is the easiest it's ever been. Unlike the rounding, no CSS hacking is necessary.