/* Independently implemented reader styling, following the public Stacks layout. */
:root{font-size:14px;color:#000;font-family:Arial,sans-serif}*{box-sizing:border-box}body{margin:0;background:#fff;line-height:1.5}.bounded{max-width:980px;padding:0 15px;margin:auto}.row{display:flex;flex-wrap:wrap}a{color:#1d5cb4;text-decoration:none}a:hover{text-decoration:underline;color:#0d1cb4}.inner-top{padding:10px}.topbar{align-items:center}.topbar h1{font-size:22px;line-height:1.2;margin:3px 0;font-weight:bold}.brand{color:#000}.col{flex:1}#first-bar{background:#d9d8d1;gap:15px}#header{display:flex;gap:20px;align-items:center}#quicklinks{display:flex;gap:12px;list-style:none;padding:0;margin:0}#quicksearch{display:flex;gap:5px}input,button,select{font:inherit}#quicksearch input{border:0;border-radius:5px;padding:5px 9px;width:165px}#quicksearch button{border:0;background:transparent;color:#1d5cb4;padding:4px;cursor:pointer}#second-bar{padding:10px;background:#edece6;position:sticky;top:0;z-index:20}#crumbs{margin:0;padding:0;list-style:none;display:flex;flex-wrap:wrap;line-height:1.8}#crumbs li+li:before{content:'/';color:#636c72;padding:0 .5rem}#crumbs .active{color:#636c72}#content{padding:10px;align-items:flex-start}#main{width:66.6667%;min-width:0}#meta{width:33.3333%;padding:0 10px 0 17px;position:sticky;top:60px;max-height:calc(100vh - 80px);overflow:auto}#meta h2{font-size:1rem;margin:15px 0 8px}#meta ul,#meta ol{padding-left:20px}#meta li{margin:4px 0}.neighbours{padding:0!important;list-style:none;display:flex;justify-content:space-between;gap:10px}.tag-info{list-style:none;padding:0!important}h1,h2,h3,h4{line-height:1.25}#main h1{font-size:1.65em}h2{font-size:1.4em;margin:24px 0 14px}h3{font-size:1.3em}h4{font-size:1.1em}p{margin:0 0 1em}article{position:relative;margin:0 0 1em}article p{margin-bottom:.8em}.environment-identifier{font-weight:bold}.env-theorem,.env-lemma,.env-proposition,.env-corollary{font-style:italic}.env-theorem .math,.env-lemma .math,.env-proposition .math,.env-corollary .math{font-style:normal}.env-proof{font-style:normal}.tag{font-family:Consolas,monospace;font-size:12px;font-style:normal}.margin-tag{float:right;margin:0 0 4px 10px;color:#777}.result,.proof-block{padding:0;border:0;border-radius:0;background:transparent}.chapter-title .eyebrow{font-size:1.15em;font-weight:bold;margin-bottom:10px}.chapter-title .authors{margin-bottom:5px}.edition,.source-note,.source-status{font-size:13px;color:#555}.source-note,.source-status{border-left:2px solid #d9d8d1;padding:8px 12px;margin:18px 0}.source-note strong{display:block}.prototype{display:none}#meta .tag-info li{display:inline-block;margin:4px 10px 4px 0}footer{border-top:1px solid #ddd;padding-top:14px;margin-top:25px;font-size:12px;color:#777}.math.display,.math-figure.display{display:block;overflow-x:auto;max-width:100%;text-align:center;margin:12px 0}.math.inline{display:inline-block;vertical-align:middle;max-width:100%;overflow-x:auto;overflow-y:hidden}.math-figure.display img{max-width:none}.math-figure.inline img{max-height:5em;max-width:100%;vertical-align:middle}.diagram-links{display:block;font-size:11px;color:#777}.diagram-reference{margin-right:8px}table{border-collapse:collapse;width:100%;font-size:13px}th,td{text-align:left;border-bottom:1px solid #ddd;padding:8px;vertical-align:top}pre{font:12px/1.5 Consolas,monospace;white-space:pre-wrap;overflow-wrap:anywhere}blockquote{margin:10px 20px}img{max-width:100%}.bibliography-entry{margin:0 0 1em}.bibliography-entry .tag{float:right}.target-highlight,.highlight{background:#fff4ce}.label-target,[id^=tag-]{scroll-margin-top:80px}.search-results{list-style:none;padding:0}.search-results li{border-bottom:1px solid #ddd;padding:10px 0}.source-fragment{white-space:pre-wrap}.book-controls{display:flex;gap:10px;margin:20px 0}.book-controls input{min-width:0;max-width:100%}mjx-container{max-width:100%}dialog{display:none}.contents-panel{display:none}@media(max-width:991px){#main{width:100%}#meta{position:static;width:100%;max-height:none;border-top:1px solid #ddd;padding:15px 0;margin-top:20px}#header{gap:10px}#quicklinks{display:none}.bounded{padding:0 10px}#main h1{font-size:1.5em}}@media(max-width:550px){#header{width:100%}#first-bar{gap:6px}#quicksearch{width:100%}#quicksearch input{flex:1}#crumbs{font-size:12px}.book-controls{flex-wrap:wrap}#second-bar{position:static}}@media print{#header,#second-bar,#meta,footer{display:none}#main{width:100%}.bounded{max-width:none}.tag{color:#777}a{color:#000}}

#meta ol{list-style:none;padding-left:0}#meta .level-2{padding-left:10px}#meta .level-3{padding-left:20px}

/* Keep chapter navigation available while reading, including narrow screens. */
:root{--breadcrumb-height:60px}#meta{top:calc(var(--breadcrumb-height) + 10px);max-height:calc(100vh - var(--breadcrumb-height) - 25px);overscroll-behavior:contain}.reader-contents-toggle,.reader-contents-close{display:none}.reader-contents ol,.chapter-overview-contents ol{list-style:none;padding-left:0}.reader-contents li,.chapter-overview-contents li{margin:7px 0}.chapter-overview-contents .level-2{padding-left:18px}.chapter-overview-contents .level-3{padding-left:36px}.reader-contents a[aria-current="page"]{font-weight:bold;background:#edece6}.contents-home{font-size:13px}.reader-introduction{margin:20px 0}.reader-contents h2{margin-top:0!important}.contents-backdrop{display:none}
@media(max-width:991px){#meta{max-height:none}#meta.has-contents .reader-contents{display:none}.reader-contents-toggle{display:block;position:fixed;right:16px;bottom:16px;z-index:45;border:1px solid #c5c3b9;border-radius:6px;background:#edece6;padding:10px 16px;color:#1d5cb4;box-shadow:0 2px 8px #0002;cursor:pointer}.contents-open .reader-contents-close{display:block;margin-left:auto;margin-bottom:12px;border:0;background:transparent;color:#1d5cb4;cursor:pointer}#meta.has-contents.contents-open{display:block;position:fixed;top:16px;right:12px;bottom:72px;width:min(390px,calc(100vw - 24px));padding:16px;background:white;margin:0;border:1px solid #d9d8d1;border-radius:6px;z-index:50;overflow:auto;box-shadow:0 4px 25px #0003}#meta.has-contents.contents-open .reader-contents{display:block}.contents-backdrop:not([hidden]){display:block;position:fixed;inset:0;background:#0004;z-index:40}#main footer{padding-bottom:55px}}
@media(max-width:550px){#second-bar{position:sticky;top:0}}
@media print{.reader-contents-toggle,.reader-contents-close,.contents-backdrop{display:none!important}}

.identity-replacements li{margin:1em 0 1.5em}.identity-source-details{font-size:.92em;margin-top:8px}.identity-source-details summary{color:#555;cursor:pointer}.identity-source-details p{margin:10px 0}.identity-source-details code{white-space:normal;overflow-wrap:anywhere;word-break:break-word}

/* Author title notes retain their text and DOM, with separate reading space. */
.reflowable-paper .ltx_title_document .ltx_pubnotes,.reflowable-paper .ltx_title_document .ltx_note{display:block;font-size:1rem;font-weight:normal;line-height:1.5;margin-top:.75em}.reflowable-paper .ltx_title_document .ltx_pubnote{display:block}.reader-bibliography-entry{list-style:none;padding:0!important;margin:1em 0}.reference-source-details{margin-top:1.25em}.reference-resolution-status{margin-bottom:1.25em}

.reviewed-edition-notice strong{margin-bottom:.75em}.reviewed-edition-notice p:last-child{margin-bottom:0}

/* Author SVG labels and equation alignment in chapter and permanent-tag views.
   SVG coordinates, mathematical content and author font sizes remain source-owned. */
#main table.ltx_eqn_table{display:table;width:100%;margin:1em 0}
#main .ltx_eqn_table .ltx_eqn_row{display:table-row}
#main .ltx_eqn_table .ltx_eqn_cell{display:table-cell;border:0;padding:0;vertical-align:baseline;width:auto}
#main .ltx_eqn_table .ltx_eqn_center_padleft,#main .ltx_eqn_table .ltx_eqn_center_padright{width:50%;min-width:2em}
#main .ltx_eqn_table .ltx_align_center{text-align:center}
#main .ltx_eqn_table .ltx_align_left{text-align:left}
#main .ltx_eqn_table .ltx_align_right{text-align:right}
#main .ltx_inline-block{display:inline-block}
#main svg.ltx_picture foreignObject{--ltx-fo-line-height:1.2}
#main svg.ltx_picture foreignObject>.ltx_foreignobject_container{display:flex;height:100%;width:var(--ltx-fo-width,100%)}
#main svg.ltx_picture.ltx_markedasmath .ltx_foreignobject_container{align-items:center;justify-content:center}
#main svg.ltx_picture .ltx_foreignobject_content{display:block;white-space:nowrap;line-height:var(--ltx-fo-line-height,1)}
#main svg.ltx_picture .ltx_foreignobject_content>math{display:block}