/* Shared reading tools; separate from the print editions. */
.reading-controls { margin: 1rem auto 2rem; padding: 1rem; max-width: 76rem; border-block: 1px solid var(--gold-a18, #b8a680); font: 1rem/1.5 var(--serif-body, Georgia, serif); }
.reading-control-row { display: flex; flex-wrap: wrap; gap: 1rem; align-items: start; }
.reading-preferences summary { cursor: pointer; min-height: 44px; padding: .65rem .5rem; }
.reading-options { display: flex; flex-wrap: wrap; gap: 1rem; padding: .5rem; }
.reading-options label { display: grid; gap: .35rem; }
.reading-options select { min-height: 44px; padding: .5rem; border: 1px solid currentColor; background: transparent; color: inherit; font: inherit; }
.reading-options option { color: #201d16; background: #f4eddd; }
#reading-status { font-size: .9rem; margin: .5rem 0 0; }
.reading-shelf { border-block: 1px solid var(--gold-a18); background: var(--surface-1); }
.reading-shelf h3 { margin-top: 1.5rem; }
.reading-shelf ul { list-style: none; padding: 0; }
.reading-shelf li { display: flex; justify-content: space-between; gap: 1rem; align-items: center; border-bottom: 1px solid var(--gold-a10); padding-block: .65rem; }
.reading-shelf li a { color: var(--parchment); }
.reading-shelf .button { flex: 0 0 auto; }
.reading-course-links { display: flex; flex-wrap: wrap; gap: 1rem; margin-block: 1rem; }
.related-readings { max-width: 70rem; margin: 3rem auto; padding: 2rem 0; border-top: 1px solid var(--gold-a18); }
.related-readings ul { list-style: none; padding: 0; }
.related-readings li { display: flex; justify-content: space-between; gap: 1rem; padding: .75rem 0; border-bottom: 1px solid var(--gold-a10); }
.related-readings li span { white-space: nowrap; font-size: .9rem; }
@media screen {
 html[data-reading-theme="paper"] body.reading-enabled { --parchment: #282319; --ink: #302a20; --ink-soft: #51483a; --ink-faint: #625744; --gold: #76561c; --gold-bright: #654611; --gold-deep: #76561c; --gold-a18: #c9bda5; --gold-a10: #d8cebc; background: #f4eddd; color: #302a20; }
 html[data-reading-theme="paper"] .reading-enabled :is(.reading-page,.reader-toolbar,.reading-controls) { background: #f4eddd; color: #302a20; }
 html[data-reading-theme="paper"] .reading-enabled :is(.topnav,footer,.page::before,.page::after),
 html[data-reading-theme="paper"] .reading-enabled > canvas { background: #f4eddd; }
 html[data-reading-theme="paper"] .reading-enabled .button { background: #f4eddd; color: #493a20; border-color: #927748; }
 html[data-reading-theme="paper"] .reading-enabled .charter-prose { color: #302a20; }
 html[data-reading-theme="paper"] .reading-enabled :is(.charter-prose h1,.charter-prose h2,.charter-prose p,.reader-byline) { color: #302a20; }
 html[data-reading-theme="paper"] .reading-enabled .page::before,
 html[data-reading-theme="paper"] .reading-enabled .page::after { display: none; }
 html[data-reading-size="large"] .reading-enabled .charter-prose { --t-body: 1.4rem; --t-read: 1.4rem; }
 html[data-reading-size="larger"] .reading-enabled .charter-prose { --t-body: 1.6rem; --t-read: 1.6rem; }
 html[data-reading-size="large"] .reading-enabled .charter-prose p { font-size: 1.4rem; }
 html[data-reading-size="larger"] .reading-enabled .charter-prose p { font-size: 1.6rem; }
 /* Standalone book pages share the controls without changing their PDF stylesheet. */
 body.reading-book { --reading-paper: #17130d; --reading-ink: #eddfc1; --reading-link: #d8b970; --paper: var(--reading-paper); --paper-tint: var(--reading-paper); --ink: var(--reading-ink); --ink-soft: var(--reading-ink); --gold: var(--reading-link); background: var(--reading-paper); color: var(--reading-ink); }
 html[data-reading-theme="paper"] body.reading-book { --reading-paper: #f4eddd; --reading-ink: #302a20; --reading-link: #76561c; }
 .reading-book :is(.chapter,.frontmatter,.contents,.part-banner,.web-nav,.reading-controls) { background: var(--reading-paper); color: var(--reading-ink); }
 .reading-book .chapter :is(h1,h2,h3,h4,p,li,td,th), .reading-book .frontmatter .imprint { color: var(--reading-ink); }
 .reading-book a { color: var(--reading-link); }
 .reading-book .reading-controls .button { font: inherit; min-height: 44px; background: transparent; border: 1px solid var(--reading-link); padding: .6rem .8rem; color: var(--reading-ink); cursor: pointer; }
 .reading-book .chapter :is(.proposition,.claim,.counterexample) { background: transparent; }
 html[data-reading-size="large"] .reading-book .chapter { font-size: 21px; line-height: 1.7; }
 html[data-reading-size="larger"] .reading-book .chapter { font-size: 24px; line-height: 1.7; }
 .reading-book [id] { scroll-margin-top: 6rem; }
}
@media (max-width: 768px) { .related-readings li { display: block; } .related-readings li span { display: block; } .reading-controls { margin-bottom: 1rem; } }
@media print { .reading-controls,.reading-shelf,.related-readings { display: none !important; } }