.difference-scroll.is-pinned .difference-scroll-stage{position:sticky;top:var(--difference-top);background:var(--paper)}
.difference-scroll.is-pinned .difference-stage{min-height:0}
.difference-scroll.is-pinned .difference-tabs button{padding-top:18px;padding-bottom:18px}
.difference-scroll.is-pinned .difference-stage [role=tabpanel]:not([hidden]){animation:difference-reveal .3s ease-out}
@keyframes difference-reveal{from{opacity:.35}to{opacity:1}}
@media(prefers-reduced-motion:reduce){.difference-scroll .difference-stage [role=tabpanel]{animation:none!important}}
@media print{.difference-scroll{height:auto!important}.difference-scroll-stage{position:static!important;min-height:0!important}}