.library-reader-context{border-top:1px solid #66797e;padding:28px 0;margin:0 0 35px;color:inherit}.library-reader-back{display:flex;justify-content:space-between;gap:20px;flex-wrap:wrap;margin-bottom:30px;font:12px/1.7 'IBM Plex Mono',monospace}.library-reader-context .record-context{display:grid;grid-template-columns:1fr 1fr;gap:25px;margin:24px 0}.library-reader-context .context-stage{border-top:1px solid #424b50;padding-top:16px;min-width:0}.library-reader-context .context-stage h3{font:12px/1.6 'IBM Plex Mono',monospace;margin-bottom:14px}.library-reader-context .context-stage p{font:18px/1.55 'Newsreader',Georgia,serif;overflow-wrap:anywhere}.library-reader-context .context-basis,.library-reader-context .source-passage,.library-reader-note{font:12px/1.7 'IBM Plex Mono',monospace;opacity:.8;display:block;margin-bottom:14px}.library-reader-relations{list-style:none;padding:0}.library-reader-relations li{padding:18px 0;border-bottom:1px solid #424b50}.library-reader-relations span{display:block;font:12px/1.7 'IBM Plex Mono',monospace;margin-top:8px;opacity:.8}@media(max-width:700px){.library-reader-context .record-context{grid-template-columns:1fr}.library-reader-back{font-size:12px}}

.paper-footer{flex-wrap:wrap;gap:16px}.reader-site-links{display:flex;flex-wrap:wrap;gap:4px 24px}.reader-site-links a{display:inline-flex;align-items:center;min-height:44px;text-decoration:underline;text-underline-offset:.2em}
/* Keep a long source formula readable at the narrowest phone width. */
@media(max-width:360px){.reading .math-inline{display:inline-block;max-width:100%;overflow-x:auto;vertical-align:middle}}