@charset "UTF-8";



/******** CSS-File: LaTeXML.css */

/*======================================================================
 Core CSS for LaTeXML documents converted to (X)HTML */

/* Generic Page layout */
.ltx_page_header,
.ltx_page_footer { font-size:0.8em; }
.ltx_page_header *[rel~="prev"],
.ltx_page_footer *[rel~="prev"] { float:left; }
.ltx_page_header *[rel~="up"],
.ltx_page_footer *[rel~="up"]   { display:block; text-align:center; }
.ltx_page_header *[rel~="next"],
.ltx_page_footer *[rel~="next"] {  float:right; }
/* What was I trying for here; need more selective rule!
.ltx_page_header .ltx_ref,
.ltx_page_footer .ltx_ref {
    margin:0 1em; }
*/
.ltx_page_header li {
    padding:0.1em 0.2em 0.1em 1em;}

/* Main content */
.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_header:after,
.ltx_page_footer:after,
.ltx_page_content:after {
    content:"."; display:block; height:0; clear:both; visibility:hidden; }
.ltx_page_footer:before {
    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_navbar .ltx_LaTeXML_logo,
.ltx_page_logo .ltx_LaTeXML_logo { font-size:110%; }
/* if shown */
.ltx_page_navbar li { white-space:nowrap; display:block; overflow:hidden; }
/* If ref got turned into span, it's "this section"*/
.ltx_page_navbar li span.ltx_ref { white-space:normal; overflow:visible; }

/* Ought to be easily removable/overridable? */
.ltx_pagination.ltx_role_newpage { height:2em; }
/*======================================================================
  Document Structure; Titles & Frontmatter */

/* undo bold here to remove the browser's native h# styling,
   at let all other styles override it (with more specific rules)*/
.ltx_title { font-size:100%; font-weight:normal; }

/* Hack to simulate run-in! put class="ltx_runin" on a title or tag
   for it to run-into the following text. */
.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_chapter_title, etc should be in ltx-article.css etc. */
.ltx_page_main { margin:0px auto;
    padding:1em 3em 1em 2em;
    padding:min(1em,1.5%) min(3em,4.5%) min(1em,1.5%) min(2em, 3%); }
.ltx_tocentry  { list-style-type:none; }

/* support for common author block layouts.*/
/* add class ltx_authors_1line to get authors in single line
   with pop-up affiliation, etc. */
.ltx_authors_1line .ltx_creator,
.ltx_authors_1line .ltx_author_before,
.ltx_authors_1line .ltx_author_after { 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:white; text-align:left;
    border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }

/* add class=ltx_authors_multiline to get authors & affliations on separate lines*/
.ltx_authors_multiline .ltx_creator,
.ltx_authors_multiline .ltx_author_before,
.ltx_authors_multiline .ltx_author_after,
.ltx_authors_multiline .ltx_author_notes,
.ltx_authors_multiline .ltx_author_notes .ltx_contact {
    display:block; }

/*======================================================================
  Para level */
.ltx_float {
    margin: 1ex clamp(1em, 4.5%, 3em) 1ex clamp(1em, 4.5%, 3em); }

/* Multiple subfigures via flexbox */
.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_tabular,
.ltx_flex_size_1 .ltx_graphics {
  max-width:60rem;
}
.ltx_flex_size_2,
.ltx_flex_size_2 .ltx_tabular,
.ltx_flex_size_2 .ltx_graphics {
  max-width: calc(0.44*60rem);
}
.ltx_flex_size_3,
.ltx_flex_size_3 .ltx_tabular,
.ltx_flex_size_3 .ltx_graphics {
  max-width: calc(0.30*60rem);
}
.ltx_flex_size_4,
.ltx_flex_size_4 .ltx_tabular,
.ltx_flex_size_4 .ltx_graphics {
  max-width: calc(0.24*60rem);
}
/*Default: More than 4 items, tricky.
  quite often intended to auto-reflow... */
.ltx_flex_size_many,
.ltx_flex_size_many .ltx_tabular,
.ltx_flex_size_many .ltx_graphics {
  max-width: calc(0.24*60rem);
}

/* flex row breaks */
.ltx_flex_figure .ltx_flex_break {
  flex-basis: 100%;
  height: 0;
}

/* layout preference */
.ltx_flex_figure .ltx_subgraphics,
.ltx_flex_figure .ltx_subfigure,
.ltx_flex_figure .ltx_subfloat,
.ltx_flex_figure .ltx_subtable {
  flex: 1 1 0px;
  margin: 0.1rem;
}
.ltx_subgraphics, .ltx_subfigure, .ltx_subtable, .ltx_subfloat {
  padding-left: 1rem;
  padding-right: 1rem;
}
.ltx_subgraphics > .ltx_figure,
.ltx_subfigure > .ltx_figure,
.ltx_subtable > .ltx_figure,
.ltx_subfloat > .ltx_figure {
  margin:0em;
}

/* theorems, figure, tables, floats captions.. */
/*======================================================================
 Blocks, Lists, Floats */
.ltx_p,
.ltx_quote,
.ltx_block,
.ltx_logical-block,
.ltx_para {
    display: block; }

/* alignment within blocks */
.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_left,   .ltx_th.ltx_align_left,
.ltx_td.ltx_align_right,  .ltx_th.ltx_align_right,
.ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space:nowrap; }
.ltx_td.ltx_align_left.ltx_wrap,   .ltx_th.ltx_align_left.ltx_wrap,
.ltx_td.ltx_align_right.ltx_wrap,  .ltx_th.ltx_align_right.ltx_wrap,
.ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap,
.ltx_td.ltx_align_justify,  .ltx_th.ltx_align_justify { white-space:normal; }

.ltx_tabular .ltx_tabular { width:100%; }
.ltx_inline-block,
.ltx_inline-logical-block { display:inline-block; text-indent:0px; }

/* tabbing is always a standalone paragraph-level construct */
.ltx_tabular.ltx_tabbing {
  display: table; }

/* avoid padding when aligning adjacent columns, e.g. for split decimals */
.ltx_norightpad { padding-right:0!important; }
.ltx_noleftpad  { padding-left:0!important; }
.ltx_nopad      { padding:0!important; }

/* equations in non-aligned mode (not normally used) */
.ltx_eqn_div { display:block; width:95%; text-align:center; }

/* equations in aligned mode (aligning tags, etc as well as equations) */
.ltx_eqn_table { display:table; width:100%; border-collapse:collapse; }
.ltx_eqn_row   { display:table-row; }
.ltx_eqn_cell  { display:table-cell; width:auto; }

/* Padding between column pairs in ams align */
table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + 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_center + td.ltx_align_right,
table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_center  { padding-left:3em; }
table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width:2em; }

.ltx_eqn_eqno { max-width:0em; 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%; }

/* Various lists */
.ltx_itemize,
.ltx_enumerate,
.ltx_description {
    display:block; }
.ltx_itemize .ltx_item,
.ltx_enumerate .ltx_item {
    display: list-item; white-space:nowrap; }

/* Position the tag to look like a normal item bullet. */
li.ltx_item > .ltx_tag {
    display:inline-block; margin-left:-1.5em; min-width:1.5em;
    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:0em; }

.ltx_item > .ltx_para > .ltx_p { margin-top:0em; margin-bottom:0em; }
dd.ltx_item { margin-bottom:0.5em; }

/* NOTE: Need to try harder to get runin appearance? */
dl.ltx_description dt { margin-right:0.5em; float:left;
                        font-weight:bold; font-size:95%; }
dl.ltx_description dd { margin-left:5em; }
dl.ltx_description dl.ltx_description dd { margin-left:3em; }

/* Theorems */
.ltx_theorem  {margin:1em 0em 1em 0em; }
.ltx_title_theorem { font-size:100%; }

/* Bibliographies */
.ltx_bibliography dt { margin-right:0.5em; float:left; }
.ltx_bibliography dd { margin-left: clamp(1em, 4.5%, 3em); }
/*.ltx_biblist { list-style-type:none; }*/
.ltx_bibitem { list-style-type:none; }
.ltx_bibitem .ltx_tag { font-weight:bold; margin-left:-2em; width:3em; }
/*.bibitem-tag + div { display:inline; }*/
.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:bold; }

/* Indices */
.ltx_indexlist li { list-style-type:none;  }
.ltx_indexlist { margin-left:1em; padding-left:1em;}

/* Listings */
.ltx_listing {
    display:block;
    margin: 1ex 3em 1ex 0em;
    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; }
/*
    position:absolute; left:0em;
    max-width:0em; text-align:right; }
*/
.ltx_parbox {
    text-indent:0em;
    display: inline-block; }

/* NOTE that it is CRITICAL to put position:relative outside & absolute inside!!
   I wish I understood why!
   Outer box establishes resulting size, neutralizes any outer positioning, etc;
   inner establishes position of stuff to be rotated */
.ltx_transformed_outer {
    position:relative; bottom:0pt;left:0pt;
    overflow:visible; }
.ltx_transformed_inner {
    display:block;
    position:absolute;bottom:0pt;left:0pt; }
.ltx_transformed_inner > .ltx_p {text-indent:0em; margin:0; padding:0; }

/* If simulating a table (html5), try to get rowspan to work...sorta? */
span.ltx_tabular { position:relative; }
span.ltx_rowspan { position:absolute; top:0; bottom:0; }

/* by default, p doesn't indent */
.ltx_p { text-indent:0em; white-space:normal; }
/* explicit control of indentation (on ltx_para) */
.ltx_indent > .ltx_p:first-child { text-indent:2em!important; }
.ltx_noindent > .ltx_p:first-child { text-indent:0em!important; }

/*======================================================================
  Columns */
.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 > ul,
  .ltx_page_column1 > ol,
  .ltx_page_column1 > dl {
     margin-bottom: 0; }
  .ltx_page_column2 > ul,
  .ltx_page_column2 > ol,
  .ltx_page_column2 > dl {
     margin-top: 0; }
}

/*======================================================================
 Borders and such */
.ltx_tabular { display:inline-table; border-collapse:collapse; }
.ltx_tabular.ltx_centering { display:table; }
.ltx_thead,
.ltx_tfoot,
.ltx_tbody   { 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:0.1em 0.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; }

/* min-height does NOT apply to tr! */
.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;
}


/* regular lines */
.ltx_border_t  { border-top:1px solid black; }
.ltx_border_r  { border-right:1px solid black; }
.ltx_border_b  { border-bottom:1px solid black; }
.ltx_border_l  { border-left:1px solid black; }
/* double lines */
.ltx_border_tt { border-top:3px double black; }
.ltx_border_rr { border-right:3px double black; }
.ltx_border_bb { border-bottom:3px double black; }
.ltx_border_ll { border-left:3px double black; }
/* Light lines */
.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; }
/* Framing */
.ltx_framed    { padding:3pt; }
span.ltx_framed       { display:inline-block; text-indent:0; } /* avoid padding/margin collapse */
.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: 0.4pt; width: 0.4pt; }

/*======================================================================
 Misc */
/* .ltx_verbatim*/
.ltx_verbatim { text-align:left; }
/*======================================================================
 Meta stuff, footnotes */
.ltx_note_content { display:none; }
/*right:5%;  */
.ltx_note_content {
     max-width: 70%; font-size:90%; left:15%;
     text-align:left;
     background-color: white;
     padding: 0.5em 1em 0.5em 1.5em;
     border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }
.ltx_note_mark    { color:blue; }
.ltx_note_type    { font-weight: bold; }
.ltx_note { display:inline-block; text-indent:0; } /* So we establish containing block */
.ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top:-0.1em; }
.ltx_note:hover .ltx_note_content,
.ltx_note .ltx_note_content:hover {
   display:block; position:absolute; z-index:10; }
.ltx_note.ltx_marginpar_left { display:none; }

.ltx_ERROR        { color:red; }
.ltx_rdf          { display:none; }
.ltx_missing      { color:red;}
.ltx_nounicode    { color:red; }
.ltx_nodisplay    { display:none; }
/*======================================================================
 SVG (pgf/tikz & xy) basics
 */
/* Heuristically adjust for content uncentered within line-box */
foreignObject {
    translate: 0 0.1em;
    --fo_width: 100%; }
/* Use flex to vertically center foreignObject,
   to accommodate potentially tall line-box */
.ltx_foreignobject_container {
    display:flex;
    align-items:center;
    height:100%;
    width:var(--fo_width);
}
/* Also horizontally for single math, since Chrome adds a lot of left/right spacing. */
.ltx_foreignobject_container:has( > .ltx_foreignobject_content > math:only-child) {
    justify-content:center;
}
/* If multiple children, give more space to avoid unexpected line breaks
   due to font differences. */
.ltx_foreignobject_container:has( > .ltx_foreignobject_content > :not(:only-child)) {
    width:calc(1.1 * var(--fo_width));
}
/* line height 0 just for this layer, to keep the line-box compact */
.ltx_foreignobject_content {
    display:block;
}
/* Stuff appearing in svg:foreignObject */
.ltx_svg_fog foreignObject  { margin:0; padding:0; overflow:visible; }
.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; }

/*======================================================================
 Low-level Basics */
/* Note that LaTeX(ML)'s font model doesn't map quite exactly to CSS's */
/* Font Families => font-family */
.ltx_font_serif      { font-family: serif; }
.ltx_font_sansserif  { font-family: sans-serif; }
.ltx_font_typewriter { font-family: monospace; }
/* dingbats should be converted to unicode? */
/* Math font families handled within math: script, symbol, fraktur, blackboard ? */
/* Font Series => font-weight */
.ltx_font_bold       { font-weight: bold; }
.ltx_font_medium     { font-weight: normal; }
/* Font Shapes => font-style or font-variant */
.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"; }
/* Fallbacks for when content+mathvariant cannot be mapped to Unicode */
.ltx_mathvariant_italic        { font-style: italic; }
.ltx_mathvariant_bold          { font-weight: bold; }
.ltx_mathvariant_bold-italic   { font-style: italic; font-weight: bold; }
.ltx_mathvariant_sans-serif             { font-family: sans-serif; }
.ltx_mathvariant-bold-sans-serif        { font-family: sans-serif; font-weight: bold; }
.ltx_mathvariant-sans-serif-italic      { font-family: sans-serif; font-style: italic; }
.ltx_mathvariant-bold-sans-serif-italic { font-family: sans-serif; font-style: italic; font-weight: bold; }
.ltx_mathvariant_monospace     { font-family: monospace; }
/* Can we say anything generic about double-struck, script or fraktur ? */
.ltx_mathvariant_double-struck { font-weight: bold; }
.ltx_mathvariant_script        { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L", cursive; }
.ltx_mathvariant_bold-script   { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L", cursive; font-weight: bold; }
.ltx_mathvariant-fraktur       { }/* ??? */
.ltx_mathvariant_bold-fraktur  { font-weight: bold; }

/*

.ltx_font_mathscript { ? }
*/
cite                 { font-style: normal; }

.ltx_red        { color:red; }
/*.ltx_centering  { text-align:center; margin:auto; }*/
/*.ltx_inline-block.ltx_centering,*/
/* Hmm.... is this right in general? */
.ltx_centering  { display:block; margin:auto; text-align:center; }

/* Dubious stuff */
.ltx_hflipped {
    display:inline-block;
    transform: scaleX(-1); }
.ltx_vflipped {
    display:inline-block;
    transform: scaleY(-1); }

/* .ltx_phantom handled in xslt */

.ltx_minipage {
  align-self: normal;
  display: inline-block;
}
.ltx_minipage > .ltx_graphics {
  max-width:100%;
}

.ltx_overlay {position:relative; }
.ltx_overlay > span:nth-child(2) {position:absolute; left:0; }

/* Apply light/dark color mode themes */
@media (prefers-color-scheme: light) {
  [style*="--ltx-fg-color:"] {
    color: var(--ltx-fg-color);
  }
  [style*="--ltx-bg-color:"] {
    background-color: var(--ltx-bg-color);
  }
  [style*="--ltx-border-color:"] {
    border-color: var(--ltx-border-color);
  }
  [style*="--ltx-fill-color:"] {
    fill: var(--ltx-fill-color);
  }
  [style*="--ltx-stroke-color:"] {
    stroke: var(--ltx-stroke-color);
  }
}
@media (prefers-color-scheme: dark) {
  :root {
    background-color: black;
    color: white;
  }
  /* The :root rule does not appear to propagate color: into SVG foreignObject */
  .ltx_foreignobject_content {
    color: var(--fn-fg-color-to-dark-mode, white);
  }
  /* We eventually want to cover the full range of possible attributes where color
      customization is expected in latexml's HTML format. This will be easier once
      CSS @function becomes widely available in browsers.

    Emulate a "function" via a custom property, declared on each node of interest.
    Note that we may have multiple color properties set at the same time, for example
    both foreground and background color, which could lead to a var naming collision.
    So we are carefully using different variable names. */ 
  [style*="color:"] {
    --fn-fg-color-to-dark-mode:
      hsl(from var(--ltx-fg-color)
        h s calc(100 - l));
    --fn-bg-color-to-dark-mode:
      hsl(from var(--ltx-bg-color)
        h s calc(100 - l));
    --fn-border-color-to-dark-mode:
      hsl(from var(--ltx-border-color)
        h s calc(100 - l));
    --fn-fill-color-to-dark-mode:
      hsl(from var(--ltx-fill-color)
        h s calc(100 - l));
    --fn-stroke-color-to-dark-mode:
      hsl(from var(--ltx-stroke-color)
        h s calc(100 - l));
  }
  /* Apply the function to the correct color property in context: */
  [style*="--ltx-fg-color:"] {
    color: var(--fn-fg-color-to-dark-mode); 
  }
  [style*="--ltx-bg-color:"] {
    background-color: var(--fn-bg-color-to-dark-mode);
  }
  [style*="--ltx-border-color:"] {
    border-color: var(--fn-border-color-to-dark-mode);
  }
  [style*="--ltx-fill-color:"] {
    fill: var(--fn-fill-color-to-dark-mode);
  }
  [style*="--ltx-stroke-color:"] {
    stroke: var(--fn-stroke-color-to-dark-mode);
  }
}


/******** CSS-File: ltx-listings.css */


.ltx_listing_data {
  float:right; }  
.ltx_listing_data a {
  text-decoration:none; }


/******** CSS-File: ltx-article.css */


.ltx_title_document      { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_dates,
.ltx_authors,
.ltx_role_author         { text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_role_author .ltx_personname  { font-size: 120%; }
.ltx_date        { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; }
.ltx_subtitle    { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; }

.ltx_title_abstract      { text-align:center; font-size: 100%; font-weight:bold; }
.ltx_abstract {
   margin-left:clamp(1em, 6%, 4em);
   margin-right:clamp(1em, 6%, 4em); }
.ltx_title_acknowledgements,
.ltx_title_keywords,
.ltx_title_classification {
   text-align:left; font-size: 100%; font-weight:bold; margin:0.5em 0 0 0; }

.ltx_appendix,
.ltx_part,
.ltx_section,
.ltx_subsection,
.ltx_subsubsection { margin-top:1.5em; }
.ltx_paragraph,
.ltx_subparagraph   { margin-top:1.0em; }

.ltx_title_part          { font-size:250%; font-weight:bold; margin-bottom:1em; }
.ltx_title_appendix,
.ltx_title_section,
.ltx_title_index,
.ltx_title_glossary,
.ltx_title_bibliography  { font-size:140%; font-weight:bold; margin-bottom:1em; }
.ltx_title_subsection    { font-size:120%; font-weight:bold; margin-bottom:1em; }
.ltx_title_subsubsection { font-size:100%; font-weight:bold; margin-bottom:1em; }

/* Paragraph & Subparagraph titles should be runin! */
.ltx_title_paragraph   { font-size:100%; font-weight:bold; display:inline; 
                         margin-right:1em; }
.ltx_paragraph .ltx_title,
.ltx_paragraph .ltx_title + .ltx_para,
.ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; }

.ltx_title_subparagraph  { font-size:100%; font-weight:bold; display:inline; 
                           margin-left:2em; margin-right:1em; }
.ltx_subparagraph .ltx_title,
.ltx_subparagraph .ltx_title + .ltx_para,
.ltx_subparagraph .ltx_title + .ltx_para > .ltx_p { display:inline; }

.ltx_figure  { text-align:center; margin:auto; margin:0.5em; }
.ltx_table   { text-align:center; margin:auto; margin:0.5em; }

/* experimental: flex model, to center short captions, justify long ones */
.ltx_table,
.ltx_figure { display:flex; flex-direction:column; align-items:center; }
.ltx_table .ltx_caption,
.ltx_figure .ltx_caption { text-align:justify; }

/* first p in para gets indented; , even 1st in section if marked "no" first child */
.ltx_para > .ltx_p:first-child,
section.ltx_pruned_first > .ltx_title + .ltx_para > .ltx_p,
section.ltx_indent_first > .ltx_title + .ltx_para > .ltx_p { text-indent:2em; }
/* except the initial in a section */
section > .ltx_title +.ltx_para > .ltx_p,
section > .ltx_title +.ltx_date +.ltx_para > .ltx_p {text-indent:0em; }

.ltx_title_abstract + .ltx_p {text-indent:2em; }

.ltx_itemize,
.ltx_enumerate { margin-left:1em; }

.ltx_theorem { margin-top:0.5em; margin-bottom:0.5em; }
.ltx_theorem .ltx_title { margin-bottom:0.1em; }
.ltx_theorem .ltx_title + .ltx_para,
.ltx_theorem .ltx_title + .ltx_para .ltx_p,
.ltx_theorem .ltx_title + .ltx_p  { margin-top:0em; }



/******** CSS-File: ltx-dagpub-style.css */

/* LIPIcs */

body {
    font-size: 1.2em!important;
    color: black!important;
}

div.ltx_page_main {
    text-align: justify;
}

/* Sans-serif font */
.ltx_title_section,
.ltx_title_subsection,
.ltx_title_subsubsection,
.ltx_title_paragraph,
.ltx_title_subparagraph,
.ltx_title_appendix,

.ltx_title_theorem > .ltx_tag_theorem,
.ltx_tag_figure,
.ltx_tag_table,
.ltx_tag_float,
.ltx_tag_item,
.ltx_title_bibliography,
.ltx_description > dt,

.ltx_title_document,
.ltx_title_keywords,
.ltx_title_classification,
.ltx_title_abstract
{
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    text-align: left;
}

.ltx_title_theorem {
    font-family: Arial, Helvetica, sans-serif;
}

.ltx_section {
    margin-top: 2em;
}

/* Section, Subsection, ... Subparagraph headlines */
.ltx_title_section > .ltx_tag_section {
    background-color: #ffc107;
    display: inline-block;
    text-align: center;
    margin-right: 1em;
    padding: 0.2em 0.5em;
}

.ltx_title_appendix > .ltx_tag_appendix {
    background-color: #ffc107;
    display: inline-block;
    text-align: center;
    margin-right: 1em;
    padding: 0.2em 0.5em;
}

.ltx_title.ltx_title_paragraph {
    display: block;
    margin-bottom: 0.5em;
}

.ltx_title_subparagraph {
    margin: 0;
}

/* Metadata macros */

.ltx_title_document {
    margin-bottom: 1em;
}

.ltx_title_abstract {
    text-align: center;
    margin-bottom: 0.5em;
}

.ltx_title_abstract + p.ltx_p {
    text-indent: 0;
}

.ltx_abstract {
    margin-bottom: 2em;
}

.ltx_title_keywords,
.ltx_title_classification
{
    display: inline;
}

.ltx_keywords,
.ltx_classification {
    margin-bottom: 0.5em;
    font-size: 0.95em;
    text-align: left;
}

.ltx_keywords > *, .ltx_classification > * {
    text-align: left;
}

.ltx_creator {
    display: block!important;
    width: 100%;
    text-align: left;
}

.ltx_role_author .ltx_personname {
    font-weight: bold;
}

.ltx_personname > .ltx_note {
    font-weight: normal;
}

.ltx_author_notes {
    display: block!important;
    margin: 0.5em 0 1.5em 0;
}

.ltx_author_notes::before {
    display: none;
}

.ltx_authors_1line .ltx_author_notes span {
    display: block;
}
.ltx_authors_1line .ltx_author_notes:hover span {
    display: block;
    position: relative;
    z-index:10;
    background: unset;
    border: unset;
    box-shadow: unset;
}

.ltx_role_affiliation,
.ltx_role_email,
.ltx_role_orcid {
    display: block;
}

/* copyright image: TODO: better selector */
.ltx_classification > a > span > .ltx_graphics {
    width: unset;
    height: 0.8em;
    transform: translateY(-0.8em);
}


/* Figures and Tables */
.ltx_tag_figure::before,
.ltx_tag_table::before,
.ltx_lstlisting > .ltx_caption > .ltx_tag_float::before,
.ltx_algorithm > .ltx_caption > .ltx_tag_float::before,
.ltx_float_algorithm > .ltx_caption > .ltx_tag_float::before
{
    content: '■ ';
    color: #ffc107;
    font-size: 1.2em;
}

.ltx_tag_figure, .ltx_tag_float {
    font-weight: bold;
}

.ltx_figure,
.ltx_table,
.ltx_algorithm,
.ltx_float_algorithm {
    border: 1px dotted #aaa;
    padding: 1em;
    margin: 0 0 1em 0;
    background-color: #f5f5f5;
}

.ltx_algorithm {
    padding-left: 2.5em!important;
}

.ltx_float_algorithm > figcaption.ltx_caption {
    margin-top: 1em;
}

.ltx_tag.ltx_tag_listingline {
    width: 1.5em;
    display: inline-block;
}

.ltx_table > figcaption.ltx_caption {
    margin: 0 0 1em 0;
    width: 100%;
}

.ltx_figure > figcaption.ltx_caption {
    margin: 1em 0 0 0;
    width: 100%;
}

.ltx_flex_figure {
    align-items: center;
}

/* Theorems */
.ltx_title_theorem::before {
    content: '▶';
    color: #444;
    font-size: small;
    transform: scaleX(1.2);
    display: inline-block;
}

.ltx_eqn_table {
    margin: 0.5em 0;
}

/* end of proof environment */
math[alttext="\\hfill\\blacktriangleleft"] {
    float: right;
    color: #444;
    font-size: 0.6em;
    transform: scaleX(1.2);
}

math[alttext="\\hfill\\vartriangleleft"] {
    float: right;
    color: #444;
    transform: scaleX(1.2);
}

/* end of nested proof environments hack - check for side effects */
.ltx_p {
    clear: both;
}


.ltx_itemize,
.ltx_enumerate {
    margin-left: 0;
}

.ltx_tag_item > math[alttext="\\blacksquare"]:first-child {
    transform: scaleY(0.5);
    color: #aaa;
}

.ltx_theorem_claim > h6::before {
    display: none;
}

.ltx_theorem_remark > h6 > math[alttext="\\blacktriangleright"],
.ltx_theorem_note > h6 > math[alttext="\\blacktriangleright"] {
    display: none;
}

.ltx_p > math[alttext="\hfill\vartriangleleft"]:only-child {
    float: right;
}

/*
- TODO: position of floating environments needs manual adaption
- TODO: claimproof still bold
- TODO: claim* has number 0
*/


a { word-wrap: break-word; }

.ltx_page_main { overflow: clip; }

article { overflow: scroll; }

ul.ltx_biblist { padding-left: 3rem; }

.ltx_title_theorem::before { content: '▶'; color: #444; font-size: small; transform: scale(1.65, 1.4); display: inline-block; vertical-align: middle; }

.ltx_theorem_claim > h6::before { content: '◁'; display: inline-block; transform: scale(-1.9, 1.4) translateX(-0.2em); padding-left: 0.3em; }

.ltx_author_notes { display: block!important; margin: 0 0 1.5em 0; }

.ltx_note_content .ltx_tag_note { display: none; }

.ltx_note .ltx_note_content:hover, .ltx_note .ltx_note_content:active { display:block; position:absolute; z-index:10; }

.ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top: 0.5em; }


/******** CSS-File: ltx-custom.css */




/******** CSS-File: Scroll spy */

html {
    scroll-padding-top: 5em;
}

div.ltx_page_content {
    padding-top: 5em!important;
}

#scroll-spy {
    position: fixed;
    top: 6em;
    left: 0.5em;
    width: 16%;
}

#scroll-spy .list-group-item {
    font-weight: bold;
}

.list-group-item.active {
    background-color: #444!important;
    border-color: #444!important;
}

@media (max-width: 991px) {
    #scroll-spy {
        display: none;
    }
    .nav-link {
        display: inline;
    }
    .navbar-text {
        display: block;
        margin: auto;
        text-align: center;
    }
}

.navbar-nav > .nav-item {
    padding: 0 2em 0 0;
}

.navbar-text {
    margin-right: 2em;
}

.navbar-brand>.lzi-logo {
    height: 82px;
}

.ltx_page_main {
    font-family: 'Times New Roman', Times, serif;
    font-size: 1.2em;
}

.ltx_page_content {
    max-width: 991px;
    margin: auto;
}


/******** final fixes */


a { word-wrap: break-word; }
.ltx_page_main { overflow: clip; }
article { overflow: scroll; }
ul.ltx_biblist { padding-left: 3rem; }
.ltx_title_theorem::before { content: '▶'; color: #444; font-size: small; transform: scale(1.65, 1.4); display: inline-block; vertical-align: middle; }
.ltx_theorem_claim > h6::before { content: '◁'; display: inline-block; transform: scale(-1.9, 1.4) translateX(-0.2em); padding-left: 0.3em; }
.ltx_author_notes { display: block!important; margin: 0 0 1.5em 0; }
.ltx_note_content .ltx_tag_note { display: none; }
.ltx_note .ltx_note_content:hover, .ltx_note .ltx_note_content:active { display:block; position:absolute; z-index:10; }
.ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top: 0.5em; }
article { padding-left: 0.5em; padding-bottom: 0.5em; }
@media(min-width: 992px) { section { width: calc(100% - 0.5em); } }
.ltx_page_content { max-width: 1200px; margin: auto; }
li.ltx_bibitem { position: relative; margin-bottom: 0.5em; }
.ltx_tag.ltx_tag_bibitem { position: absolute; left: -0.5em; top: 0; }
.ltx_bibitem .ltx_tag { width: 2em; text-align: right; }