:root{--background:#fff;--foreground:#171717}*,:after,:before{margin:0;padding:0;box-sizing:border-box}html{scroll-padding-top:calc(57px + 2rem)}body{color:var(--foreground);background:var(--background)}.split-pane .Pane1,.split-pane .Pane2{overflow:auto}.SplitPane .Resizer{position:relative;z-index:2;background:#ddd;cursor:col-resize;width:5px}.cm-editor{font-size:.8rem}.onHover:hover{text-decoration:underline}.defaultLink{color:#284aae}a{color:inherit;text-decoration:none}.ltx_title.ltx_title_document{font-size:2rem;text-transform:capitalize;margin-bottom:1rem;font-weight:700}.ltx_page_footer,.ltx_page_header{font-size:.8em}.ltx_page_footer [rel~=prev],.ltx_page_header [rel~=prev]{float:left}.ltx_page_footer [rel~=up],.ltx_page_header [rel~=up]{display:block;text-align:center}.ltx_page_footer [rel~=next],.ltx_page_header [rel~=next]{float:right}.ltx_page_header li{padding:.1em .2em .1em 1em}.ltx_page_content{clear:both}.ltx_page_header{border-bottom:1px solid;margin-bottom:5px}.ltx_page_footer{clear:both;border-top:1px solid;margin-top:5px}.ltx_page_content:after,.ltx_page_footer:after,.ltx_page_footer:before,.ltx_page_header:after{content:".";display:block;height:0;clear:both;visibility:hidden}.ltx_page_logo{font-size:90%;margin-top:5px;clear:both;float:right}a.ltx_LaTeXML_logo{text-decoration:none}.ltx_page_logo img{vertical-align:-3px}.ltx_page_logo .ltx_LaTeXML_logo,.ltx_page_navbar .ltx_LaTeXML_logo{font-size:110%}.ltx_page_navbar li{white-space:nowrap;display:block;overflow:hidden}.ltx_page_navbar li span.ltx_ref{white-space:normal;overflow:visible}.ltx_title{font-size:100%}.ltx_runin{display:inline}.ltx_runin:after{content:" "}.ltx_runin+.ltx_para,.ltx_runin+.ltx_para p:first-child,.ltx_runin+p:first-child{display:inline}.ltx_outdent{margin-left:-2em}.ltx_page_main{margin:0 auto;padding:min(1em,1.5%) min(3em,4.5%) min(1em,1.5%) min(2em,3%);max-width:832px}.ltx_tocentry{list-style-type:none;overflow-wrap:break-word;word-break:break-word;white-space:normal}.ltx_authors_1line .ltx_author_after,.ltx_authors_1line .ltx_author_before,.ltx_authors_1line .ltx_creator{display:inline}.ltx_authors_1line .ltx_author_notes{display:inline-block}.ltx_authors_1line .ltx_author_notes:before{content:"*";color:blue}.ltx_authors_1line .ltx_author_notes span{display:none}.ltx_authors_1line .ltx_author_notes:hover span{display:block;position:absolute;z-index:10;background:#fff;text-align:left;border:1px solid #000;border-radius:0 5px 5px 5px;box-shadow:5px 5px 10px gray}.ltx_authors_multiline .ltx_author_after,.ltx_authors_multiline .ltx_author_before,.ltx_authors_multiline .ltx_author_notes,.ltx_authors_multiline .ltx_author_notes .ltx_contact,.ltx_authors_multiline .ltx_creator{display:block}.ltx_float{margin:1ex clamp(1em,4.5%,3em)}.ltx_flex_figure{display:flex;flex-flow:row wrap;width:auto;max-width:60rem;position:relative;justify-content:center;align-items:baseline;object-fit:contain;margin-bottom:1rem}.ltx_flex_size_1,.ltx_flex_size_1 .ltx_graphics,.ltx_flex_size_1 .ltx_tabular{max-width:60rem}.ltx_flex_size_2,.ltx_flex_size_2 .ltx_graphics,.ltx_flex_size_2 .ltx_tabular{max-width:calc(.44 * 60rem)}.ltx_flex_size_3,.ltx_flex_size_3 .ltx_graphics,.ltx_flex_size_3 .ltx_tabular{max-width:calc(.3 * 60rem)}.ltx_flex_size_4,.ltx_flex_size_4 .ltx_graphics,.ltx_flex_size_4 .ltx_tabular,.ltx_flex_size_many,.ltx_flex_size_many .ltx_graphics,.ltx_flex_size_many .ltx_tabular{max-width:calc(.24 * 60rem)}.ltx_flex_figure .ltx_flex_break{flex-basis:100%;height:0}.ltx_flex_figure .ltx_subfigure,.ltx_flex_figure .ltx_subfloat,.ltx_flex_figure .ltx_subgraphics,.ltx_flex_figure .ltx_subtable{flex:1 1 0px;margin:.1rem}.ltx_subfigure,.ltx_subfloat,.ltx_subgraphics,.ltx_subtable{padding-left:1rem;padding-right:1rem}.ltx_subfigure>.ltx_figure,.ltx_subfloat>.ltx_figure,.ltx_subgraphics>.ltx_figure,.ltx_subtable>.ltx_figure{margin:0}.ltx_block,.ltx_logical-block,.ltx_p,.ltx_para,.ltx_quote{display:block}.ltx_align_left{text-align:left}.ltx_align_right{text-align:right}.ltx_align_center{text-align:center}.ltx_align_justify{text-align:justify}.ltx_align_top{vertical-align:top}.ltx_align_bottom{vertical-align:bottom}.ltx_align_middle{vertical-align:middle}.ltx_align_baseline{vertical-align:baseline}.ltx_align_floatleft{float:left}.ltx_align_floatright{float:right}.ltx_td.ltx_align_center,.ltx_td.ltx_align_left,.ltx_td.ltx_align_right,.ltx_th.ltx_align_center,.ltx_th.ltx_align_left,.ltx_th.ltx_align_right{white-space:nowrap}.ltx_td.ltx_align_center.ltx_wrap,.ltx_td.ltx_align_justify,.ltx_td.ltx_align_left.ltx_wrap,.ltx_td.ltx_align_right.ltx_wrap,.ltx_th.ltx_align_center.ltx_wrap,.ltx_th.ltx_align_justify,.ltx_th.ltx_align_left.ltx_wrap,.ltx_th.ltx_align_right.ltx_wrap{white-space:normal}.ltx_tabular .ltx_tabular{width:100%}.ltx_inline-block,.ltx_inline-logical-block{display:inline-block}.ltx_tabular.ltx_tabbing{display:table}.ltx_norightpad{padding-right:0!important}.ltx_noleftpad{padding-left:0!important}.ltx_nopad{padding:0!important}.ltx_eqn_div{display:block;width:95%;text-align:center}.ltx_eqn_table{display:table;width:100%;border-collapse:collapse}.ltx_eqn_row{display:table-row}.ltx_eqn_cell{display:table-cell;width:auto}table.ltx_eqn_align tr.ltx_equation td.ltx_align_center+td.ltx_align_center,table.ltx_eqn_align tr.ltx_equation td.ltx_align_center+td.ltx_align_right,table.ltx_eqn_align tr.ltx_equation td.ltx_align_left+td.ltx_align_center,table.ltx_eqn_align tr.ltx_equation td.ltx_align_left+td.ltx_align_right{padding-left:3em}table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn+tr td.ltx_align_right{min-width:2em}.ltx_eqn_eqno{max-width:0;overflow:visible;white-space:nowrap}.ltx_eqn_eqno.ltx_align_right .ltx_tag{float:right}.ltx_eqn_center_padleft,.ltx_eqn_center_padright{width:50%;min-width:2em}.ltx_eqn_left_padleft,.ltx_eqn_right_padright{min-width:2em}.ltx_eqn_left_padright,.ltx_eqn_right_padleft{width:100%}.ltx_description,.ltx_enumerate,.ltx_itemize{display:block}.ltx_enumerate .ltx_item,.ltx_itemize .ltx_item{display:list-item;white-space:nowrap}li.ltx_item{flex-wrap:wrap}li.ltx_item>.ltx_tag{display:inline-block;text-align:right}.ltx_item .ltx_tag+.ltx_para{display:inline-block;vertical-align:top}.ltx_item .ltx_tag+.ltx_para .ltx_p{display:inline}.ltx_item>.ltx_para>.ltx_p:first-child{text-indent:0}.ltx_item>.ltx_para>.ltx_p{margin-top:0;margin-bottom:0}dd.ltx_item{margin-bottom:.5em}dl.ltx_description dt{margin-right:.5em;float:left;font-weight:700;font-size:95%}dl.ltx_description dd{margin-left:5em}dl.ltx_description dl.ltx_description dd{margin-left:3em}.ltx_theorem{margin:1em 0}.ltx_title_theorem{font-size:100%}.ltx_bibliography dt{margin-right:.5em;float:left}.ltx_bibliography dd{margin-left:clamp(1em,4.5%,3em)}.ltx_biblist{margin-left:2em}.ltx_bibitem{list-style-type:none}.ltx_bibitem .ltx_tag{font-weight:700;margin-left:-1.5em;width:3em}.ltx_bib_title{font-style:italic}.ltx_bib_article .bib-title{font-style:normal!important}.ltx_bib_journal{font-style:italic}.ltx_bib_volume{font-weight:700}.ltx_indexlist li{list-style-type:none}.ltx_indexlist{margin-left:1em;padding-left:1em}.ltx_listing{display:block;margin:1ex 3em 1ex 0;overflow-x:auto;text-align:left}.ltx_float .ltx_listing{margin:0}.ltx_listingline{white-space:nowrap;min-height:1em}.ltx_lst_space{white-space:pre}.ltx_lst_numbers_left .ltx_listingline .ltx_tag{background-color:transparent;margin-left:-3em;width:2.5em;position:absolute;text-align:right}.ltx_lst_numbers_right .ltx_listingline .ltx_tag{background-color:transparent;width:2.5em;position:absolute;right:3em;text-align:right}.ltx_parbox{text-indent:0;display:inline-block}.ltx_transformed_outer{position:relative;bottom:0;left:0;overflow:visible}.ltx_transformed_inner{display:block;position:absolute;bottom:0;left:0}.ltx_transformed_inner>.ltx_p{text-indent:0;margin:0;padding:0}span.ltx_tabular{position:relative}span.ltx_rowspan{position:absolute;top:0;bottom:0}.ltx_p{text-indent:0;white-space:normal}.ltx_indent>.ltx_p:first-child{text-indent:2em!important}.ltx_noindent>.ltx_p:first-child{text-indent:0!important}.ltx_page_columns{display:flex}.ltx_page_column1,.ltx_page_column2{flex:100%;margin:0 20px}@media screen and (max-width:60em){.ltx_page_columns{flex-direction:column}.ltx_page_column1>dl,.ltx_page_column1>ol,.ltx_page_column1>ul{margin-bottom:0}.ltx_page_column2>dl,.ltx_page_column2>ol,.ltx_page_column2>ul{margin-top:0}}.ltx_tabular{display:inline-table;border-collapse:collapse}.ltx_tabular.ltx_centering{display:table}.ltx_tbody,.ltx_tfoot,.ltx_thead{display:table-row-group}.ltx_tr{display:table-row}.ltx_td,.ltx_th{display:table-cell}.ltx_tabular .ltx_td,.ltx_tabular .ltx_th{padding:.1em .5em}.ltx_tabular .ltx_td.ltx_nopad_l,.ltx_tabular .ltx_th.ltx_nopad_l{padding-left:0}.ltx_tabular .ltx_td.ltx_nopad_r,.ltx_tabular .ltx_th.ltx_nopad_r{padding-right:0}.ltx_tabular .ltx_tr td:first-child:after,.ltx_tabular .ltx_tr th:first-child:after{content:"";display:inline-block;vertical-align:top;min-height:1em}.ltx_border_t{border-top:1px solid #000}.ltx_border_r{border-right:1px solid #000}.ltx_border_b{border-bottom:1px solid #000}.ltx_border_l{border-left:1px solid #000}.ltx_border_tt{border-top:3px double #000}.ltx_border_rr{border-right:3px double #000}.ltx_border_bb{border-bottom:3px double #000}.ltx_border_ll{border-left:3px double #000}.ltx_border_T{border-top:1px solid 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}.ltx_framed{padding:3pt}span.ltx_framed{display:inline-block;text-indent:0}.ltx_framed_rectangle{border-style:solid;border-width:1px}.ltx_framed_top{border-top-style:solid;border-top-width:1px}.ltx_framed_left{border-left-style:solid;border-left-width:1px}.ltx_framed_right{border-right-style:solid;border-right-width:1px}.ltx_framed_bottom,.ltx_framed_underline{border-bottom-style:solid;border-bottom-width:1px}.ltx_framed_topbottom{border-top-style:solid;border-top-width:1px;border-bottom-style:solid;border-bottom-width:1px}.ltx_framed_leftright{border-left-style:solid;border-left-width:1px;border-right-style:solid;border-right-width:1px}.ltx_rule{vertical-align:bottom;height:.4pt;width:.4pt}.ltx_verbatim{text-align:left}.ltx_note_content{display:none;max-width:70%;font-size:90%;left:15%;text-align:left;background-color:#fff;padding:.5em 1em .5em 1.5em;border:1px solid #000;border-radius:0 5px 5px 5px;box-shadow:5px 5px 10px gray}.ltx_note_mark{color:blue}.ltx_note_type{font-weight:700}.ltx_note{display:inline-block;text-indent:0}.ltx_note_content .ltx_note_mark{position:absolute;left:.2em;top:-.1em}.ltx_note .ltx_note_content:hover,.ltx_note:hover .ltx_note_content{display:block;position:absolute;z-index:10}.ltx_note.ltx_marginpar_left{display:none}.ltx_ERROR{color:red}.ltx_rdf{display:none}.ltx_missing,.ltx_nounicode{color:red}.ltx_nodisplay{display:none}.ltx_svg_fog foreignObject{margin:0;padding:0;overflow:visible}.ltx_svg_fog foreignObject>p{margin:0;padding:0;display:block}.ltx_font_serif{font-family:serif}.ltx_font_sansserif{font-family:sans-serif}.ltx_font_typewriter{font-family:monospace}.ltx_font_bold{font-weight:700}.ltx_font_medium{font-weight:400}.ltx_font_italic{font-style:italic;font-variant:normal}.ltx_font_upright{font-style:normal;font-variant:normal}.ltx_font_slanted{font-style:oblique;font-variant:normal}.ltx_font_smallcaps{font-variant:small-caps;font-style:normal}.ltx_font_oldstyle{font-variant-numeric:oldstyle-nums}.ltx_font_mathcaligraphic{font-family:Lucida Calligraphy,Zapf Chancery,URW Chancery L}.ltx_mathvariant_italic{font-style:italic}.ltx_mathvariant_bold{font-weight:700}.ltx_mathvariant_bold-italic{font-style:italic;font-weight:700}.ltx_mathvariant_sans-serif{font-family:sans-serif}.ltx_mathvariant-bold-sans-serif{font-family:sans-serif;font-weight:700}.ltx_mathvariant-bold-sans-serif-italic,.ltx_mathvariant-sans-serif-italic{font-family:sans-serif;font-style:italic}.ltx_mathvariant-bold-sans-serif-italic{font-weight:700}.ltx_mathvariant_monospace{font-family:monospace}.ltx_mathvariant_double-struck{font-weight:700}.ltx_mathvariant_bold-script,.ltx_mathvariant_script{font-family:Lucida Calligraphy,Zapf Chancery,URW Chancery L,cursive}.ltx_mathvariant_bold-script{font-weight:700}.ltx_mathvariant_bold-fraktur{font-weight:700}cite{font-style:normal}.ltx_red{color:red}.ltx_centering{display:block;margin:auto;text-align:center}.ltx_hflipped{display:inline-block;transform:scaleX(-1)}.ltx_vflipped{display:inline-block;transform:scaleY(-1)}.ltx_minipage{align-self:normal;display:inline-block}.ltx_minipage>.ltx_graphics{max-width:100%}.ltx_caption{text-align:center}.compiled-tex{padding:1.5rem;font-family:var(--font-cmu-serif)}.compiled-tex .ltx_TOC{display:none}.compiled-tex>ol{list-style-position:inside}.compiled-tex ol p{display:inline-block}.ltx_TOC.ltx_list_toc.ltx_toc_toc{font-size:1.4rem}