I've written a (still rather vague) proposal for improvements to <details> styling, which is somewhat related to the proposal in #725. I'm interested in thoughts (probably here rather than in that repo) for what folks think about these ideas.