/* Document archives (document-archive.js): dim the current page while the next one loads. */
.document-archive [data-role=list] { transition: opacity .15s ease-in-out; }
.document-archive.is-loading [data-role=list] { opacity: .45; pointer-events: none; }
.document-archive [data-role=pager] { margin-top: .5rem; }