The issue is that the polyfill could be dropped at some point but the details/summary overrides must continue to exist regardless. That is the main reason they were kept separate. We shouldn't have to remember to split out the non-polyfill CSS when it comes time to drop the polyfill (unlikely we'll remember or even check since the assumption is that it is just for the polyfill).