details.history{border-top:1px solid var(--line);padding-top:15px;margin:20px 0}
details.history summary{cursor:pointer;color:var(--accent);font-weight:600}
details.history>div{padding-top:10px}
@media(min-width:1051px){.output{position:sticky;top:20px}}
.panel,.view{min-width:0}
#stability{overflow-x:auto}