p code{white-space:inherit}pre{word-break:normal;word-wrap:normal}pre code{white-space:inherit}p.flushright{text-align:right}blockquote>p:last-child{text-align:right}blockquote>p:first-child{text-align:inherit}.header-section-number{padding-right:.2em;font-weight:500}.level1 .header-section-number{display:inline-block;border-bottom:3px solid}.level1 h1{border-bottom:1px solid}h1,h2,h3,h4,h5,h6{font-weight:normal}h1.title{font-weight:700}.smallcaps{font-variant:small-caps}.book .book-body .page-wrapper .page-inner section.normal strong{font-weight:600}.book .book-body .page-wrapper .page-inner{max-width:57em}.book.font-size-0 .book-body .page-wrapper .page-inner{font-size:1.2rem}.book.font-size-1 .book-body .page-wrapper .page-inner{font-size:1.4rem}.book.font-size-2 .book-body .page-wrapper .page-inner{font-size:1.6rem}.book.font-size-3 .book-body .page-wrapper .page-inner{font-size:2.2rem}.book.font-size-4 .book-body .page-wrapper .page-inner{font-size:4rem}.book.font-family-0,.book.font-family-1{font-family:var(--bml-font-family)}.book.font-family-0{--bml-font-family: Georgia, serif}.book.font-family-1{--bml-font-family: "Helvetica Neue", Helvetica, Arial, sans-serif}mtext{font-family:var(--bml-font-family)}.bml-skip-to-content{display:block;padding:0.5em;position:absolute;z-index:-999;left:-999px;top:-999px;font-weight:bold;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:large;text-decoration:underline}.bml-skip-to-content,.bml-skip-to-content:visited,.bml-skip-to-content:active{background-color:#fff;color:#3B78B5;--bml-background-color: #fff;--bml-color: #3B78B5}.book.color-theme-1 .bml-skip-to-content,.book.color-theme-1 .bml-skip-to-content:visited{background-color:#f3eacb;border-color:#7e888b;color:#704214;--bml-background-color: #f3eacb;--bml-border-color: #7e888b;--bml-color: #704214}.book.color-theme-2 .bml-skip-to-content,.book.color-theme-2 .bml-skip-to-content:visited{background-color:#2d3143;border-color:#272a3a;color:#c1c6d7;--bml-background-color: #2d3143;--bml-border-color: #272a3a;--bml-color: #c1c6d7}.bml-skip-to-content:focus,.bml-skip-to-content:active{left:50%;top:0;z-index:999;transform:translateX(-50%);outline:auto}.book.bml-no-navtoc:not(.with-search) .book-body,.book.bml-no-navtoc:not(.with-search) .book-header.fixed{left:0}.book.bml-no-navtoc:not(.with-search) .book-summary{display:none}.book.bml-no-navtoc .book-header>.btn[title="Toggle Sidebar"]{display:none}.book .book-summary .book-search{display:none}.book.with-search .book-summary .book-search{display:unset}.book-header>.info>.dropdown-menu{padding:1em 1em 1em 2.5em}.book-header>.info>.dropdown-menu h1{opacity:initial;margin-inline-start:-1.5em;display:block}.book-header>.info>.dropdown-menu dd{display:inline;margin-inline-start:0.3em}.book-header>.info>.dropdown-menu dd::after{content:"";display:block;margin-block-start:1em}.book-header>.info>.dropdown-menu dt{display:inline-block;margin-inline-start:-1em}.book-header>.info>.dropdown-menu dt::after{content:":";display:inline}.level1 .ltx_theorem .header-section-number,.level1 .ltx_proof .header-section-number,.level1 .level2 .header-section-number,.level1 h2 .header-section-number,.level1 h3 .header-section-number,.level1 h4 .header-section-number,.level1 h5 .header-section-number,.level1 h6 .header-section-number{border-bottom:revert}.book .book-body .page-wrapper .page-inner section.normal.ltx_paragraph .ltx_title_paragraph{font-size:100%}.book .book-body .page-wrapper .page-inner section.normal.ltx_paragraph .ltx_title+.ltx_para+.ltx_para{margin-top:.85em}.ltx_title_appendix .ltx_tag,.ltx_title_chapter .ltx_tag{margin-bottom:0}.book .book-body .page-wrapper .page-inner section.normal h6,.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h6{color:inherit}.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h6{color:#fffffa;--bml-color: #fffffa}.book .book-body .page-wrapper .page-inner section{padding:0px}.header-section-number{padding-right:0}.ltx_para{overflow-x:auto;overflow-y:hidden}.ltx_item .ltx_para{overflow-x:revert;overflow-y:revert}@media (max-width: 600px){.book .book-body.fixed{top:50px}}.book.color-theme-1 object[type="image/svg+xml" i],.book.color-theme-1 iframe[src$=".svg" i],.book.color-theme-1 img{filter:sepia(40%)}.book.color-theme-2 object[type="image/svg+xml" i],.book.color-theme-2 iframe[src$=".svg" i],.book.color-theme-2 img{filter:invert(100%) saturate(70%) hue-rotate(180deg)}.book.color-theme-2.bml_no_invert object[type="image/svg+xml" i],.book.color-theme-2 .bml_no_invert object[type="image/svg+xml" i],.book.color-theme-2 object[type="image/svg+xml" i].bml_no_invert,.book.color-theme-2.bml_no_invert iframe[src$=".svg" i],.book.color-theme-2 .bml_no_invert iframe[src$=".svg" i],.book.color-theme-2 iframe[src$=".svg" i].bml_no_invert,.book.color-theme-2.bml_no_invert img,.book.color-theme-2 .bml_no_invert img,.book.color-theme-2 img.bml_no_invert{filter:saturate(70%)}.book.color-theme-1 mjx-container object[type="image/svg+xml" i],.book.color-theme-1 mjx-container iframe[src$=".svg" i],.book.color-theme-1 mjx-container img,.book.color-theme-2 mjx-container object[type="image/svg+xml" i],.book.color-theme-2 mjx-container iframe[src$=".svg" i],.book.color-theme-2 mjx-container img{filter:revert}.book .book-body .page-wrapper .page-inner section.normal dl dt{margin-top:0}.ltx_listing{margin:0 0 1.275em}.ltx_title_abstract+.ltx_p{text-indent:0em !important}.book .book-body .page-wrapper .page-inner section.normal a,.ltx_note_mark{color:#3B78B5;--bml-color: #3B78B5}.book .book-summary ul.summary li a:hover,.book .book-summary ul.summary li.active>a{color:#0073D1;--bml-color: #0073D1}.book .book-summary ul.summary li a:hover,.book .book-summary ul.summary li a:focus-visible{text-decoration:underline}.book .book-summary ul.summary{padding-inline-start:0;padding-left:0 !important}.book .book-summary ul.summary>li:first-child{height:49px;display:flex;align-items:center}.book .book-summary ul.summary>li:first-child+.divider{margin-top:0}.book .book-body .navigation{color:#333;--bml-color: #333}.book.color-theme-1 .book-body .navigation{color:#704214;--bml-color: #704214}.book.color-theme-2 .book-body .navigation{color:#bdcadb;--bml-color: #bdcadb}.book .book-body{--bml-color: #292929;--bml-background-color: #fff}.book .book-body,.book .book-body .page-wrapper .page-inner section.normal{color:var(--bml-color);background-color:var(--bml-background-color)}.book.color-theme-1 .book-body{--bml-color: #704214;--bml-background-color: #f3eacb}.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal{color:var(--bml-color);background-color:var(--bml-background-color)}.book.color-theme-2 .book-body{--bml-color: #bdcadb;--bml-background-color: #1c1f2b}.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal{color:var(--bml-color);background-color:var(--bml-background-color)}.book .book-summary ul.summary li span{opacity:0.8;filter:revert}.book .book-header .btn,.dropdown-menu .buttons .button,.dropdown-menu{color:var(--bml-color)}.book.color-theme-1 .book-header .btn{color:var(--bml-color)}.book.color-theme-1 .book-header .dropdown-menu .buttons .button,.book.color-theme-1 .book-header .dropdown-menu{color:var(--bml-background-color)}.book .book-header .btn{border:none;background-color:transparent}.book.color-theme-2 .book-header .btn{color:var(--bml-color)}.book .book-header span.bml-separator{display:block}.ltx_border_t{border-top:1px double !important}.ltx_border_r{border-right:1px solid !important}.ltx_border_b{border-bottom:1px solid !important}.ltx_border_l{border-left:1px solid !important}.ltx_border_tt{border-top:3px double !important}.ltx_border_rr{border-right:3px double !important}.ltx_border_bb{border-bottom:3px double !important}.ltx_border_ll{border-left:3px double !important}.ltx_border_T{border-top:1px double gray}.ltx_border_R{border-right:1px solid gray}.ltx_border_B{border-bottom:1px solid gray}.ltx_border_L{border-left:1px solid gray}.book .book-body .page-wrapper .page-inner section.normal table tr:last-child td{border-bottom-width:1px}.book .book-body .page-wrapper .page-inner section.normal table td.ltx_eqn_cell,.book .book-body .page-wrapper .page-inner section.normal table th.ltx_eqn_cell{padding:0;line-height:normal}.bml_equationgroup,.bml_equation,.bml_intertext{--bml-border-color: #ddd;border-color:var(--bml-border-color);border-style:solid;border-width:0px}.book.color-theme-1 .bml_equationgroup,.book.color-theme-1 .bml_equation,.book.color-theme-1 .bml_intertext{background-color:#fdf6e3;--bml-background-color: #fdf6e3;--bml-border-color: #f5d06c}.book.color-theme-2 .bml_equationgroup,.book.color-theme-2 .bml_equation,.book.color-theme-2 .bml_intertext{background-color:#2d3143;--bml-background-color: #2d3143;--bml-border-color: #3b3f54}.bml_equation_container{border-top-width:1px;border-bottom-width:1px;margin-bottom:0.85em}.bml_equation_container .bml_equationgroup,.bml_equation_container .bml_equation,.bml_equation_container .bml_intertext{border-top-width:0px;border-bottom-width:0px}.bml_equation_container .bml_equationgroup+.bml_equationgroup,.bml_equation_container .bml_equationgroup+.bml_equation,.bml_equation_container .bml_equationgroup+.bml_intertext,.bml_equation_container .bml_equation+.bml_equationgroup,.bml_equation_container .bml_equation+.bml_equation,.bml_equation_container .bml_equation+.bml_intertext,.bml_equation_container .bml_intertext+.bml_equationgroup,.bml_equation_container .bml_intertext+.bml_equation,.bml_equation_container .bml_intertext+.bml_intertext{border-top-width:1px}.bml_equation,.bml_intertext{padding:0.85em 0}.bml_equation:has(>.bml_eqn_row){row-gap:1.7em}.ltx_eqn_div{margin-bottom:0.85em;border-top:solid 1px #ddd;border-bottom:solid 1px #ddd;max-width:100%;min-height:2.75em}.ltx_eqn_div>.ltx_eqn_div{margin-bottom:0;border-top:none}.ltx_eqn_div>.ltx_eqn_div:last-child{border-bottom:none}.ltx_runin+.ltx_para .ltx_eqn_div,.ltx_runin+.ltx_para p .ltx_eqn_div,.ltx_runin+p .ltx_eqn_div{margin-top:0.85em}.book.color-theme-1 .ltx_eqn_div{background-color:#fdf6e3;--bml-background-color: #fdf6e3;border-color:#f5d06c;--bml-border-color: #f5d06c}.book.color-theme-2 .ltx_eqn_div{background-color:#2d3143;--bml-background-color: #2d3143;border-color:#3b3f54;--bml-border-color: #3b3f54}.book .book-body .page-wrapper .page-inner section.normal .bml_intertext>.ltx_p:last-child{margin-bottom:0}.ltx_eqn_div,.ltx_eqn_table,.bml_equation_container{overflow-x:auto;overflow-y:hidden}.ltx_fleqn .ltx_eqn_div,.ltx_fleqn .ltx_eqn_table,.ltx_fleqn .bml_equation_container{--bml-eqn-eqno: minmax(2.85em,auto)}.ltx_eqn_div>span,.ltx_eqn_div .ltx_eqn_cell,.ltx_eqn_div .bml_eqn_cell,.ltx_eqn_table>span,.ltx_eqn_table .ltx_eqn_cell,.ltx_eqn_table .bml_eqn_cell,.bml_equation_container>span,.bml_equation_container .ltx_eqn_cell,.bml_equation_container .bml_eqn_cell{line-height:normal}.ltx_eqn_div>span>mjx-container[display],.ltx_eqn_div .ltx_eqn_cell>mjx-container[display],.ltx_eqn_div .bml_eqn_cell>mjx-container[display],.ltx_eqn_table>span>mjx-container[display],.ltx_eqn_table .ltx_eqn_cell>mjx-container[display],.ltx_eqn_table .bml_eqn_cell>mjx-container[display],.bml_equation_container>span>mjx-container[display],.bml_equation_container .ltx_eqn_cell>mjx-container[display],.bml_equation_container .bml_eqn_cell>mjx-container[display]{padding:0}.ltx_fleqn .bml_equation_container{--bml-eqn-leftpad: 2.85em}.ltx_fleqn .bml_equation_container:has(.ltx_eqn_eqno){--bml-eqn-eqno: minmax(2.85em,auto);--bml-eqn-leftpad: 0}.ltx_eqn_div.ltx_equation,.ltx_eqn_row{padding-top:0.85em;padding-bottom:0.85em}.ltx_eqn_div.bml_eqn_has_eqno>span.ltx_tag,.bml_equationgroup:has(>.ltx_eqn_eqno)>span.ltx_tag,.bml_equation:has(>.ltx_eqn_eqno)>span.ltx_tag{position:sticky;right:0;z-index:1;background-color:var(--bml-background-color);padding-right:0.85em}.ltx_leqno .ltx_eqn_div.bml_eqn_has_eqno>span.ltx_tag,.ltx_leqno .bml_equationgroup:has(>.ltx_eqn_eqno)>span.ltx_tag,.ltx_leqno .bml_equation:has(>.ltx_eqn_eqno)>span.ltx_tag{left:0;right:initial;padding-right:initial;padding-left:0.85em}.ltx_eqn_cell.ltx_eqn_eqno{position:sticky;right:0;z-index:1;background-color:var(--bml-background-color)}.ltx_leqno .ltx_eqn_cell.ltx_eqn_eqno{left:0;right:initial}.book .book-body .page-wrapper .page-inner section.normal table .ltx_eqn_cell.ltx_eqn_eqno{padding-left:0em;padding-right:0.85em}.book .book-body .page-wrapper .page-inner section.normal.ltx_leqno table .ltx_eqn_cell.ltx_eqn_eqno{padding-left:0.85em;padding-right:0em}.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table{display:grid}.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table .ltx_intertext>.ltx_eqn_cell,.bml_intertext{padding-left:0.85em;padding-right:0.85em}.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table .ltx_eqn_cell:not(.ltx_eqn_eqno).ltx_align_left+.ltx_eqn_cell.ltx_align_right{padding-left:3em}.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table th,.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table td{border:none}.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table>tr:last-child,.book .book-body .page-wrapper .page-inner section.normal table.ltx_eqn_table>tbody:last-child{border-bottom:1px solid #ccc}mjx-container[jax="CHTML"][display="true"],mjx-container[jax="SVG"][display="true"]{margin:0 !important}.ltx_eqn_table mjx-container[jax="CHTML"] mjx-break{white-space:nowrap}.bml_footer{border-top:solid 1px;margin-top:0.85em;padding-top:0.85em}.book .book-body .page-wrapper .page-inner section.normal img{max-width:unset}.book .book-body .page-wrapper .page-inner section.normal div.ltx_listing{width:100%;max-width:100%}.book .book-body .page-wrapper .page-inner section.normal div.ltx_listing[class*="bml_background-color_"]{background:none !important}.book .book-body .page-wrapper .page-inner section.normal div.ltx_listing code{padding:0;font-size:inherit;line-height:normal;background-color:var(--bml-background-color)}.book .book-body .page-wrapper .page-inner section.normal div.ltx_listing .ltx_tag{line-height:normal}.bml_listing{--bml-background-color-parent: var(--bml-background-color);overflow:auto}.ltx_listing{--bml-background-color: #f7f7f7}.book.color-theme-1 .ltx_listing{--bml-background-color: #fdf6e3}.book.color-theme-2 .ltx_listing{--bml-background-color: #2d3143}.bml_listing>.ltx_listing>.ltx_listingline>.ltx_tag,.bml_listing>.ltx_listing>.ltx_listingline::before{position:sticky;z-index:1;background-color:var(--bml-background-color-parent)}.bml_listing>.ltx_listing>.ltx_listingline>.ltx_tag:first-child,.bml_listing>.ltx_listing>.ltx_listingline::before{left:0}.bml_listing>.ltx_listing>.ltx_listingline>.ltx_tag:last-child{right:0}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline>code{border-color:var(--bml-border-color, currentColor)}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline:first-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listing_data+.ltx_listingline>code{padding-top:0.5em}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline:last-child>code{padding-bottom:0.5em}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_rectangle>.ltx_listingline:first-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_rectangle>.ltx_listing_data+.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_top>.ltx_listingline:first-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_top>.ltx_listing_data+.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_topbottom>.ltx_listingline:first-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_topbottom>.ltx_listing_data+.ltx_listingline>code{border-top-width:1px;border-top-style:solid}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_rectangle>.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_left>.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_leftright>.ltx_listingline>code{border-left-width:1px;border-left-style:solid}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_rectangle>.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_right>.ltx_listingline>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_leftright>.ltx_listingline>code{border-right-width:1px;border-right-style:solid}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_rectangle>.ltx_listingline:last-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_bottom>.ltx_listingline:last-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_underline>.ltx_listingline:last-child>code,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing.ltx_framed_topbottom>.ltx_listingline:last-child>code{border-bottom-width:1px;border-bottom-style:solid}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline>code{font-size:inherit;padding-left:0.7em;padding-right:0.7em}.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline>code::after,.book .book-body .page-wrapper .page-inner section.normal .ltx_listing>.ltx_listingline>code::before{content:none}.ltx_listing_data{font-size:small;user-select:none}.ltx_listing_data button{appearance:none;background:transparent;border:none;color:var(--bml-color)}.ltx_listing_data a[download=""]{display:none}.ltx_listing_data>*>span{position:sticky;right:0}.bml-overflow-wrapper{max-width:100%;width:100%;overflow:auto}.ltx_note_content{padding-left:1em}.ltx_note_content .ltx_note_mark{position:relative;left:auto;top:-.5em}.book.color-theme-1 .ltx_note_content{background-color:#fdf6e3;--bml-background-color: #fdf6e3;border-color:#f5d06c;--bml-border-color: #f5d06c}.book.color-theme-2 .ltx_note_content{background-color:#2d3143;--bml-background-color: #2d3143;border-color:#3b3f54;--bml-border-color: #3b3f54;box-shadow:5px 5px 10px black}.ltx_note_content>.ltx_tag.ltx_tag_note{display:none}svg:not(:root)[overflow="visible"]{overflow:visible}svg foreignObject{letter-spacing:initial;line-height:initial;text-align:initial;text-size-adjust:initial}.book.font-size-0{--bml-font-size: 9}.book.font-size-1{--bml-font-size: 8}.book.font-size-2{--bml-font-size: 12}.book.font-size-3{--bml-font-size: 16.5}.book.font-size-4{--bml-font-size: 30}.ltx_rule{height:calc(0.04rem * var(--bml-font-size) / 12 * 1.6);width:calc(0.04rem * var(--bml-font-size) / 12 * 1.6);background-color:var(--bml-color)}.book .book-body .page-wrapper .page-inner section.normal hr.bml_hrule{margin:0}.book .book-body .page-wrapper .page-inner section.normal p:has(+hr.bml_hrule){margin-bottom:0}.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal table tr{--bml-background-color: #fdf6e3;--bml-border-color: #f5d06c}.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal table tr{--bml-color: #b6c2d2;--bml-background-color: #2d3143;--bml-border-color: #3b3f54}*[class*="bml_color"]{color:var(--bml-color) !important}*[class*="bml_border-color"]{border-color:var(--bml-border-color) !important}*[class*="bml_background-color"]{background-color:var(--bml-background-color) !important}*[class*="bml_fill"]{fill:var(--bml-fill) !important}*[class*="bml_stroke"]{stroke:var(--bml-stroke) !important}*[class*="bml_stop-color"]{stop-color:var(--bml-stop-color) !important}*[class*="bml_flood-color"]{flood-color:var(--bml-flood-color) !important}*[class*="bml_lighting-color"]{lighting-color:var(--bml-lighting-color) !important}*[class*="bml_text-decoration-color"]{text-decoration-color:var(--bml-text-decoration-color) !important}body{background-color:#fafafa}body:has(.book.color-theme-1){background-color:#111111}body:has(.book.color-theme-2){background-color:#2d3143}.bml_class_amsart .ltx_title_section{font-family:inherit}.bml_class_amsart .book .book-body .page-wrapper .page-inner section.normal .ltx_title_subsection,.bml_class_amsart .book .book-body .page-wrapper .page-inner section.normal .ltx_title_subsubsection{font-size:inherit;font-family:inherit}