/* ====================================================================== Stylesheet for DLMF ====================================================================== */ @namespace mml url(http://www.w3.org/1998/Math/MathML); @font-face { font-family: "STIXMath"; src: url("STIXTwoMath-Regular.woff2"); } body { margin:0px; padding:0px; } /* width Needed for IE ?*/ body { width:100%; color:#000000; } body.textfont_default { font-family:"DejaVu LGC Serif",serif; } body.textfont_sans { font-family:"DejaVu LGC Sans","Lucida Sans",sans-serif; } body.fontsize_default { font-size: 100%; } body.fontsize_small { font-size: 80%; } body.fontsize_large { font-size: 120%; } body.fontsize_verylarge { font-size: 140%; } /* stix or firefox issue? */ /*mml|math { font-size:110%; }*/ math, mml|math { font-family: "STIXMath"; } /* ====================================================================== Navigation Bar */ .ltx_page_navbar { z-index:10; } body.titlefont_default .ltx_page_navbar { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; font-size:90%; } body.titlefont_serif .ltx_page_navbar { font-family:"DejaVu LGC Serif",serif; font-size:90%; } .ltx_page_navbar a { text-decoration:none; } body.color_default .ltx_page_navbar { background-color:#d3dce6; border-right:1px solid #a4abb2; border-bottom:1px solid #a4abb2; } body.color_gold .ltx_page_navbar { background-color:#e6e6d3; border-right:1px solid #b2b2a4; border-bottom:1px solid #b2b2a4; } /* body.color_default .ltx_page_navbar li { list-style-image:url("dia-blue.png"); } body.color_gold .ltx_page_navbar li { list-style-image:url("dia-gold.png"); } */ .ltx_page_navbar ul { position:relative; left:-15px; margin-top:0;} .ltx_page_navbar form { display:inline; } .ltx_page_navbar form li { white-space:normal; } .ltx_page_navbar form input { width:7.5em; } .ltx_page_navbar form > input { width:7em; } /*.ltx_page_navbar .ltx_page_navsponsors { font-size:70%; text-align:center; margin-right:10px; }*/ .ltx_page_navbar .ltx_page_navsponsors { text-align:center; margin-right:10px; } .ltx_page_navbar .ltx_page_navwhatsnew { font-style:italic; font-size:100%; } .ltx_page_navbar .ltx_page_navabout { font-size:70%; text-align:center; } /* --- left navbar --- */ body.navbar_default .ltx_page_main { position:absolute; left:130px; top:0px; right:0px; bottom:0px; } body.navbar_default .ltx_page_navbar { width:130px; min-height:330px; background-position:right; overflow:hidden; position:fixed; left:0px; top:0px; } body.navbar_default .ltx_page_navbar .ltx_page_navitem_search { width:70px; } body.navbar_default .ltx_page_navitems:after { height:12px; display:block; content:" "; text-align:center; background-repeat:no-repeat; background-position:center; background-size: 12px 12px; } body.navbar_default.color_default .ltx_page_navitems:after { background-image:url('dia-blue.png'); background-image:url('dia-blue.svg'),none; } body.navbar_default.color_gold .ltx_page_navitems:after { background-image:url('dia-gold.png'); background-image:url('dia-gold.svg'),none; } body.navbar_default .ltx_page_navbar { float:left; }/* NN4 */ body.navbar_default .ltx_page_navbar { float:none; border-bottom-right-radius: 5px; box-shadow: 0px 2px 5px #888; } .ltx_page_navlogo span { display:none; } body.navbar_default .ltx_page_navlogo a, body.navbar_popup .ltx_page_navbar:hover .ltx_page_navlogo a { width:128px; height:128px; display:block; background-repeat:no-repeat; background-size: 128px 128px; } body.navbar_default.color_default .ltx_page_navlogo a, body.navbar_popup.color_default .ltx_page_navbar:hover .ltx_page_navlogo a { background-image:url('DLMFLogo-blue.png'); background-image:url('DLMFLogo-blue.svg'),none; } body.navbar_default.color_gold .ltx_page_navlogo a, body.navbar_popup.color_gold .ltx_page_navbar:hover .ltx_page_navlogo a { background-image:url('DLMFLogo-gold.png'); background-image:url('DLMFLogo-gold.svg'),none; } /* --- popup navbar --- */ body.navbar_popup .ltx_page_main { position:absolute; left:34px; top:0px; right:0px; bottom:0px; } body.navbar_popup .ltx_page_navbar { width:34px; min-height:330px; position:fixed; left:0px; top:0px; overflow:hidden; } body.navbar_popup .ltx_page_navlogo img { visibility:hidden; } body.navbar_popup .ltx_page_navlogo { width:32px; height:128px; display:block; background-repeat:no-repeat; background-size: 32px 128px; } body.navbar_popup.color_default .ltx_page_navlogo { background-image:url('DLMFLogoV-blue.png'); background-image:url('DLMFLogoV-blue.svg'),none; } body.navbar_popup.color_gold .ltx_page_navlogo { background-image:url('DLMFLogoV-gold.png'); background-image:url('DLMFLogoV-gold.svg'),none; } body.navbar_popup .ltx_page_navitems, body.navbar_popup .ltx_page_navsponsors { display:none; } body.navbar_popup .ltx_page_navbar:hover, body.navbar_popup .ltx_page_navbar_hover { height:auto; width:130px; } body.navbar_popup .ltx_page_navbar:hover .ltx_page_navlogo img, body.navbar_popup .ltx_page_navbar_hover .ltx_page_navlogo img { visibility:visible; } body.navbar_popup .ltx_page_navbar:hover .ltx_page_navlogo, body.navbar_popup .ltx_page_navbar_hover .ltx_page_navlogo { background-image:none; } body.navbar_popup .ltx_page_navbar:hover .ltx_page_navitems, body.navbar_popup .ltx_page_navbar_hover .ltx_page_navitems, body.navbar_popup .ltx_page_navbar:hover .ltx_page_navsponsors, body.navbar_popup .ltx_page_navbar_hover .ltx_page_navsponsors { display:block; } body.navbar_popup .ltx_page_navitems:after { height:12px; display:block; content:" "; text-align:center; background-repeat:no-repeat; background-position:center; background-size: 12px 12px; } body.navbar_popup.color_default .ltx_page_navitems:after { background-image:url('dia-blue.png'); background-image:url('dia-blue.svg'),none; } body.navbar_popup.color_gold .ltx_page_navitems:after { background-image:url('dia-gold.png'); background-image:url('dia-gold.svg'),none; } body.navbar_popup .ltx_page_navbar { float:none; border-bottom-right-radius: 5px; box-shadow: 0px 2px 5px #888; } /* --- top navbar --- */ body.navbar_top .ltx_page_navlogo a { width:160px; height:64px; display:block; background-repeat:no-repeat; background-size: 160px 64px; } body.navbar_top.color_default .ltx_page_navlogo a { background-image:url('DLMFLogoH-blue.png'); background-image:url('DLMFLogoH-blue.svg'),none; } body.navbar_top.color_gold .ltx_page_navlogo a { background-image:url('DLMFLogoH-gold.png'); background-image:url('DLMFLogoH-gold.svg'),none; } body.navbar_top .ltx_page_navbar { width:99%; display:table; padding-bottom:5px;} body.navbar_top .ltx_page_navlogo, body.navbar_top .ltx_page_navitems, body.navbar_top .ltx_page_navsponsors { display:table-cell; } body.navbar_top .ltx_page_navlogo, body.navbar_top .ltx_page_navsponsors { vertical-align:middle; } body.navbar_top .ltx_page_navitems { text-align:center; vertical-align:bottom; } /* body.navbar_top .ltx_page_navlogo { float:left; } */ /* body.navbar_top .ltx_page_navitems { text-align:center; vertical-align:top; } */ /* body.navbar_top .ltx_page_navsponsors { float:right; } */ /* body.navbar_top .ltx_page_navbar:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } */ body.navbar_top .ltx_page_navitems ul, body.navbar_top .ltx_page_navitems li { display:inline; } /* body.navbar_top .ltx_page_navbar > .ltx_page_navitem { display:table-cell; } */ body.navbar_top .ltx_page_navbar { float:none; box-shadow: 0px 2px 5px #888; } body.navbar_top .ltx_page_navitems ul:after, body.navbar_top .ltx_page_navitems li:before { width:12px; display:inline-block; content:"\A0"; text-align:center; background-repeat:no-repeat; background-position:center; background-size: 12px 12px; } body.navbar_top.color_default .ltx_page_navitems ul:after, body.navbar_top.color_default .ltx_page_navitems li:before { background-image:url('dia-blue.png'); background-image:url('dia-blue.svg'),none; } body.navbar_top.color_gold .ltx_page_navitems ul:after, body.navbar_top.color_gold .ltx_page_navitems li:before { background-image:url('dia-gold.png'); background-image:url('dia-gold.svg'),none; } /* ====================================================================== Main content area: */ .ltx_page_content { padding-top:10px; padding-bottom:10px; } body.color_default .ltx_page_header { border-bottom: 3px double #a4abb2; } body.color_default .ltx_page_footer { border-top: 3px double #a4abb2; } body.color_gold .ltx_page_header { border-bottom: 3px double #b2b2a4; } body.color_gold .ltx_page_footer { border-top: 3px double #b2b2a4; } .ltx_siblings:after, .ltx_nist_links:after, .ltx_page_content:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } .ltx_nist_logo { float:left; } .ltx_nist_links{ margin-top:2em; } /* ====================================================================== Headers & Footers */ body.titlefont_default .ltx_page_header, body.titlefont_default .ltx_page_footer { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; } body.titlefont_serif .ltx_page_header, body.titlefont_serif .ltx_page_footer { font-family:"DejaVu LGC Serif",serif; } .ltx_page_header .ltx_ref[rel="up"], .ltx_page_header .ltx_ref[rel="up up"], .ltx_page_header .ltx_ref[rel="up up up"] { display:block; font-size: 180%;} .ltx_page_header .ltx_ref[rel="prev"], .ltx_page_footer .ltx_ref[rel="prev"] { float:left; width:45%; } .ltx_page_header .ltx_ref[rel="next"], .ltx_page_footer .ltx_ref[rel="next"] { float:right; width:45%; text-align:right;} body.color_default .ltx_page_header .ltx_ref[rel="up"]:before, body.color_default .ltx_page_header .ltx_ref[rel="up up"]:before, body.color_default .ltx_page_footer .ltx_ref[rel="up"]:before, body.color_default .ltx_page_footer .ltx_ref[rel="up up"]:before { content:" "; display:inline-block; background-image:url('uarrow-blue.png'); background-image:url('uarrow-blue.svg'),none; background-size:24px 24px; vertical-align:-0.2em; width:24px; height:24px; } body.color_default .ltx_page_header .ltx_ref[rel="prev"]:before, body.color_default .ltx_page_footer .ltx_ref[rel="prev"]:before { content:" "; display:inline-block; background-image:url('larrow-blue.png'); background-image:url('larrow-blue.svg'),none; background-size:24px 24px; vertical-align:-0.6em; width:24px; height:24px; } body.color_default .ltx_page_header .ltx_ref[rel="next"]:after, body.color_default .ltx_page_footer .ltx_ref[rel="next"]:after { content:" "; display:inline-block; background-image:url('rarrow-blue.png'); background-image:url('rarrow-blue.svg'),none; background-size:24px 24px; vertical-align:-0.6em; width:24px; height:24px; } body.color_gold .ltx_page_header .ltx_ref[rel="up"]:before, body.color_gold .ltx_page_header .ltx_ref[rel="up up"]:before, body.color_gold .ltx_page_footer .ltx_ref[rel="up"]:before, body.color_gold .ltx_page_footer .ltx_ref[rel="up up"]:before { content:" "; display:inline-block; background-image:url('uarrow-gold.png'); background-image:url('uarrow-gold.svg'),none; background-size:24px 24px; vertical-align:-0.2em; width:24px; height:24px; } body.color_gold .ltx_page_header .ltx_ref[rel="prev"]:before, body.color_gold .ltx_page_footer .ltx_ref[rel="prev"]:before { content:" "; display:inline-block; background-image:url('larrow-gold.png'); background-image:url('larrow-gold.svg'),none; background-size:24px 24px; vertical-align:-0.6em; width:24px; height:24px; } body.color_gold .ltx_page_header .ltx_ref[rel="next"]:after, body.color_gold .ltx_page_footer .ltx_ref[rel="next"]:after { content:" "; display:inline-block; background-image:url('rarrow-gold.png'); background-image:url('rarrow-gold.svg'),none; background-size:24px 24px; vertical-align:-0.6em; width:24px; height:24px; } /* ====================================================================== Interesting Document Elements ====================================================================== */ /* ====================================================================== FrontMatter. */ /* ---------------------------------------- Headings */ h1,h2,h3,h4,h5 { margin: 0.5em -30px 0.25em -20px; padding: 0.1em 0em 0.1em 0.2em; } h6 { margin:2px; padding:2px; } h1, h6 { border:none; } .ltx_subtitle { text-align:center; font-size: 125%; font-style: italic; padding-left:0.2em; margin-left:-0.5em; } .ltx_subtitle a { text-decoration:none; } .ltx_subtitle a img { vertical-align:-35px; } .ltx_title_chapter { font-weight: bold; font-size: 170%; text-align:center; } .ltx_title_section, .ltx_title_sidebar { font-weight: bold; font-size: 140%; text-align:left; } .ltx_title_subsection, .ltx_title_subsubsection { font-weight: bold; font-size: 120%; text-align:left; } .ltx_title_paragraph, .ltx_hittag { font-weight: bold; font-size: 110%; text-align:left; } h6 { font-style: italic; font-size: 100%; text-align:left; } /* other headings */ .ltx_title_document, .ltx_title_index, .ltx_title_bibliography, .ltx_title_glossary { font-weight: bold; font-size: 140%; text-align:center; } .ltx_title_mainpage { font-weight: bold; font-size: 200%; text-align:center; font-style: normal; margin-right:70px; background-color:transparent!important; border-style:none!important; } body.titlefont_default .ltx_title, body.titlefont_default .ltx_subtitle { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; font-weight:bold; } body.titlefont_serif .ltx_title, body.titlefont_serif .ltx_subtitle { font-family:"DejaVu LGC Serif",serif; font-weight:bold} body.color_default .ltx_title_section, body.color_default .ltx_title_sidebar { background-color:#bcc4cc; border: 1px solid #bcc4cc; border-top: 3px double #a4abb2; } body.color_default .ltx_title_subsection, body.color_default .ltx_title_subsubsection, body.color_default .ltx_hittag { background-color:#c7d0d9; border: 1px solid #c7d0d9; border-top: 1px solid #a4abb2; } body.color_default .ltx_title_paragraph { background-color:#d3dce6; border: 1px solid #d3dce6; border-top: 1px solid #a4abb2; } body.color_default .ltx_title_document, body.color_default .ltx_title_index, body.color_default .ltx_title_bibliography, body.color_default .ltx_title_glossary { background-color:#d3dce6; border: 1px solid #d3dce6; border-top: 3px double #a4abb2; } body.color_gold .ltx_title_section, body.color_gold .ltx_title_sidebar { background-color:#ccccbc; border: 1px solid #ccccbc; border-top: 3px double #b2b2a4; } body.color_gold .ltx_title_subsection, body.color_gold .ltx_title_subsubsection, body.color_gold .ltx_hittag { background-color:#d9d9c7; border: 1px solid #d9d9c7; border-top: 1px solid #b2b2a4; } body.color_gold .ltx_title_paragraph { background-color:#e6e6d3; border: 1px solid #e6e6d3; border-top: 1px solid #b2b2a4; } body.color_gold .ltx_title_document, body.color_gold .ltx_title_index, body.color_gold .ltx_title_bibliography, body.color_gold .ltx_title_glossary { background-color:#e6e6d3; border: 1px solid #e6e6d3; border-top: 3px double #b2b2a4; } .ltx_gallery { display:table; width:88%; max-height:120px; margin:0.5em 5% 0.5em 5%; padding:1%; text-align:center; } .ltx_gallery * { margin:0 1em 0 1em;} body.color_default form button, body.color_default .ltx_gallery { background-color:#d3dce6; border: 1px solid #a4abb2; } body.color_gold form button, body.color_gold .ltx_gallery { background-color:#e6e6d3; border: 1px solid #b2b2a4; } .ltx_gallery { border-radius: 5px; box-shadow: inset 0px 2px 5px #888; } .ltx_role_authors, .ltx_role_author { display:block; text-align:center; } .ltx_role_author .ltx_personname { font-weight:bold; display:block; text-align:center; } .ltx_role_affiliation { font-size: 80%; font-weight:normal; text-align:center; display:block; text-align:center; } .ltx_abstract { margin:1em 4em 1em 4em; } .ltx_sidebar_authors { display:block; float:right; font-style:italic; } /* ====================================================================== Links. */ a:visited { color:#6040B0; } a:link:hover, A:visited:hover { color:#A02030; } a:active { color:#0000FF; } /* the inherit overrides the color change that would normally apply to links in mathml */ mml|math * { text-decoration:none; color:inherit; } /* But make marked variables (in notations) gray */ mml|math .ltx_nvar { color:#808080; } /* but make the hover still work! */ mml|math *:link:hover, mml|math *:visited:hover { color:#A02030; } mml|math *:active { color:#0000FF; } /* This does the same for MathJax (note: such an mo turns to ..)*/ .MathJax a { text-decoration:none; color:inherit; } .MathJax a:hover, .MathJax a:hover { color:#A02030; } .MathJax a:active { color:#0000FF; } img { border:0px; } /* No dadburned borders! */ .ltx_stub, a:visited.ltx_stub { color:#90A0C0; } /*, */ body.color_default .selected, body.color_default .ltx_info.selected .ltx_infocontent { background-color: #dfe8f2 !important; border: 3px double #a4abb2 !important; margin-top:-3px; margin-bottom:-3px; } /* worrysome margin adjustment to keep from reflowing! */ /* ,body.color_gold .ltx_info.selected .ltx_infocontent */ body.color_gold .selected { background-color: #f2f2df !important; border: 3px double #b2b2a4 !important; margin-top:-3px; margin-bottom:-3px; } .ltx_info.selected .ltx_infocontent { display:block !important; position:relative !important; float:right; } body.color_default .ltx_info.selected, body.color_gold .ltx_info.selected { border: none !important; background-color: transparent!important; } /* */ /* ====================================================================== TOCs. */ body.titlefont_default .ltx_tocentry { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; } body.titlefont_default .ltx_toc_compact, body.titlefont_default .ltx_toc_verycompact { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; font-size: 80%; } body.titlefont_serif .ltx_tocentry { font-family:"DejaVu LGC Serif",serif; } body.titlefont_serif .ltx_toc_compact, body.titlefont_serif .ltx_toc_verycompact { font-family:"DejaVu LGC Serif",serif; font-size: 80%; } .ltx_tocentry .ltx_ref, .ltx_toc_compact a, .ltx_toc_verycompact a { text-decoration:none; } li.ltx_tocentry { list-style-type:none; } .ltx_toc_compact, .ltx_toc_verycompact { text-align:center; } .ltx_toclist_mainpage { margin-left:2em; } .ltx_toclist_mainpage .ltx_tag { position:absolute; margin-left:-2em; display:inline-block; width:1.5em; text-align:right; } .ltx_toclist_part { margin-left:4em; padding-left:0;} .ltx_toclist_part .ltx_tag { position:absolute; margin-left:-4em; display:inline-block; width:3.5em; text-align:right; } .ltx_toclist_section { margin-left:6em; padding-left:0;} /* .ltx_toclist_section .ltx_tag { position:absolute; margin-left:-5em; display:inline-block; width:4.5em; text-align:left; } */ .ltx_toclist_section .ltx_tag { position:absolute; margin-left:-6em; display:inline-block; width:6em; text-align:left; white-space:nowrap; } .ltx_toclist_section .ltx_ref .ltx_tag { display:inline; position:relative; } /* but 2nd tag (as if nested) doesn't position itself specially*/ span.ltx_ref .ltx_tag {position:static; margin:0; width:auto; } body.titlefont_default .ltx_ref_tag, body.titlefont_default .ltx_ref_title, body.titlefont_default .ltx_tag { font-family:"DejaVu LGC Sans Condensed","Lucida Sans",sans-serif; } body.titlefont_serif .ltx_ref_tag, body.titlefont_serif .ltx_ref_title, body.titlefont_serif .ltx_tag { font-family:"DejaVu LGC Serif",serif; } /* make random(except caption, itself?) text in LOF thumbnails smaller */ .ltx_tocentry .ltx_figure .ltx_tabular {font-size:70%;} .ltx_tocentry .ltx_figure, .ltx_tocentry .ltx_figure .ltx_caption { margin:0em; } body.color_default .ltx_toc_lof .ltx_tocentry_chapter > .ltx_ref, body.color_default .ltx_toc_lot .ltx_tocentry_chapter > .ltx_ref { background-color:#bcc4cc; border: 1px solid #bcc4cc; border-top: 3px double #a4abb2; display:block; width:100%; } body.color_gold .ltx_toc_lof .ltx_tocentry_chapter > .ltx_ref, body.color_gold .ltx_toc_lot .ltx_tocentry_chapter > .ltx_ref { background-color:#ccccbc; border: 1px solid #ccccbc; border-top: 3px double #b2b2a4; display:block; width:100%; } /* ====================================================================== Forms. */ button { font-weight:bold; font-size:100%; padding:0;} /* have to be explicit! */ :disabled { color:#AAAAAA; border-style:solid; border-color:#AAAAAA; } /* ====================================================================== Equations. */ /* for unaligned equations */ /*div.ltx_equation { width:100%; margin:0.5em 0 0.5em 0; vertical-align:middle; text-align:center;}*/ /*div.ltx_equation .ltx_refnum { float:left; width:4em; text-align:left;} */ /*.ltx_tag_equation { float:left; width:4em; text-align:left;} div.ltx_equation .ltx_tag { float:left; width:4em; text-align:left;} div.ltx_equation .ltx_constraint { float:right; white-space:nowrap; text-align:right; } */ /* .ltx_equation td { width:auto; } table.ltx_equation, table.ltx_equationgroup { width:100%; } */ /* Hide this from IE */ /* tr > td.ltx_eqn_center_padleft, tr > td.ltx_eqn_center_padright { width:50%; } tr > td.ltx_eqn_left_padleft, tr > td.ltx_eqn_right_padright { min-width:2em; }, tr > td.ltx_eqn_left_padright, tr > td.ltx_eqn_right_padleft { width:100%; } */ /* ====================================================================== Figures. */ .ltx_figure { margin:2em 0.5em 0.5em 0.5em; text-align:center; } .ltx_figure * { margin:0em; } .ltx_figure .ltx_caption { margin:0 2em 0 2em; } .ltx_figure .ltx_subfigure { width:50%; } /*.ltx_figure .ltx_figure { width:50%; }*/ /* experimental: flex model, to center short captions, justify long ones */ .ltx_table, .ltx_figure { display:flex; flex-direction:column; align-items:center; justify-content:center; } .ltx_table .ltx_caption, .ltx_figure .ltx_caption { text-align:justify; } /* nonsense so IE11 handles flex align-items:center (giving the width kinda defeats the whole purpose, but oh well...) */ /* @media all and (-ms-high-contrast: none), (-ms-high-contrast:active) { .ltx_table .ltx_caption, .ltx_figure .ltx_caption { width:50%; } } */ /* patch up titles embedded in magfigures */ .ltx_figure .ltx_title_subsection { width:100%; } .ltx_align_floatleft { margin-right:2em; } .ltx_align_floatright { margin-left:2em; } /* ====================================================================== Tables. */ .ltx_table { margin-top:2em; text-align:center; } .ltx_table * { margin:0em; } .ltx_table table td { padding:0.1em 0.5em 0.1em 0.5em; } /* non `justify'd columns (from latex) should NOT wrap */ .ltx_table td[align='left'], .ltx_table td[align='right'], .ltx_table td[align='center'] { white-space:nowrap; } .ltx_table td[width] { white-space:normal !important; } p[width] { white-space:normal !important; } body.color_default .ltx_th { background-color:#d3dce6; font-weight:normal; } body.color_gold .ltx_th { background-color:#e6e6d3; font-weight:normal; } /* ====================================================================== Sidebar pages. */ .ltx_sidebar .ltx_figure + div p:first-letter { font-size:330%; float:left; } .ltx_sidebar p { width:90%; padding:0 5% 0 5%; } /* ====================================================================== Bibliography. */ .ltx_biblist { list-style-type:none; padding:0; } /*.biblist li { padding: 0em 0em 0.5em 2em;}*/ .ltx_biblist li { padding: 0em 1em 0.5em 1em;} .ltx_bibitem .ltx_tag { font-weight:bold; margin-left:-1em;} .ltx_bib_title { font-style:italic; } .ltx_bib_volume { font-weight:bold; } /* ====================================================================== Glossary/Notations. */ /* override boldness in glossaries */ .ltx_list_notation dt.ltx_glossaryentry { font-weight: normal; } /* ====================================================================== Lists. */ dt { font-weight: bold; } /*.description dt { display:compact; }*/ .ltx_description dd { margin-left:2em; } .ltx_item .ltx_tag + .ltx_para, .ltx_item .ltx_tag + .ltx_para .ltx_p { display:inline; } .ltx_itemize .ltx_item { margin-top: 0.25em; margin-bottom: 0.25em; } /* ====================================================================== General Text ====================================================================== */ p { text-align:justify; } .ltx_math { vertical-align:middle; } /* These are for links w/o an actual destination. */ /* ??? span.ltx_ref { font-weight: bold; } *//* for a link to "here". */ span.ltx_broken { font-weight: bold; color:red; } /* for a link to an unknown object. */ span.ltx_disabled { color:grey; } .ltx_important { font-weight:bold; } /* ====================================================================== Meta Info ====================================================================== */ /* classes referenced in js, not prefixed: selected, shown, hover */ .ltx_info { display:none; white-space:normal; } #hideinfo, #showinfo { display:none; } @media all { /* #showinfo { display:list-item; } body.color_default #hideinfo, body.color_default #showinfo { list-style-image:url("info-blue.png"); list-style-image:url("info-blue.svg"),none; } body.color_gold #hideinfo, body.color_gold #showinfo { list-style-image:url("info-gold.png"); list-style-image:url("info-gold.svg"),none; } */ .ltx_info { width:100%; display:block; margin:0; padding:0; position:relative; right:-20px; } .ltx_infoicon { float:right; height:0px; right:-8px; position:absolute; top:-30px; } .ltx_infoicon img { vertical-align:top; padding:0px 0px 28px 8px; } .ltx_info.ltx_fixed .ltx_infoicon { display:none; } /* body.color_default .ltx_infoiconimg { background-image:url(info-blue.png); background-repeat:no-repeat; } body.color_gold .ltx_infoiconimg { background-image:url(info-gold.png); background-repeat:no-repeat; } */ /* .ltx_infoicon { width:24px; height:24px; }*/ .ltx_infoicon { background-repeat:no-repeat; background-size: 24px 24px; } .ltx_infoicon span { display:none; } body.color_default .ltx_infoicon { background-image:url(info-blue.png); background-image:url(info-blue.svg),none; } body.color_gold .ltx_infoicon { background-image:url(info-gold.png); background-image:url(info-gold.svg),none; } body.color_default .ltx_errataiconimg { background-image:url(errata-blue.png); background-repeat:no-repeat; } body.color_gold .ltx_errataiconimg { background-image:url(errata-gold.png); background-repeat:no-repeat; } /* .info */ .ltx_infocontent { display:none; } .ltx_infocontent { padding:0.5em; font-size:90%; text-align:left; top:-3px; right:0px; width:70%; } .ltx_infocontent { position:absolute; float:none; z-index:11; } .ltx_infocontent.shown { display:block !important; position:relative !important; float:right !important; z-index:10; } .ltx_info:hover .ltx_infocontent, .ltx_infocontent:hover { display:block !important; position:absolute; z-index:11; } /* float:none; */ .ltx_metadata:after { content:"."; display:block; clear:both; height:0; visibility:hidden; } .ltx_infocontent dl {margin:0 0 0 0; padding:0; } .ltx_infocontent dd {margin-left:2em; } } /* what is "fixed" ? */ body.color_default .ltx_infocontent { background-color:#d3dce6; border: 4px outset #a4abb2; } body.color_default .ltx_fixedinfocontent, body.color_default .ltx_fixed .ltx_infocontent, body.color_default .ltx_infocontent.shown { background-color:#d3dce6 !important; border: 4px inset #a4abb2 !important; } body.color_gold .ltx_infocontent { background-color:#e6e6d3; border: 4px outset #b2b2a4; } body.color_gold .ltx_fixedinfocontent, body.color_gold .ltx_infocontent.shown { background-color:#e6e6d3 !important; border: 4px inset #b2b2a4 !important; } .ltx_no_datalink .ltx_listing .ltx_listing_data { display:none; } /* ====================================================================== Search Hit Lists... ====================================================================== */ .ltx_hitnote { font-size:70%; } /* .ltx_subhit { float:left; margin-left:-1em; text-decoration:none; } */ .ltx_subhit { position:absolute; left:0; margin-left:1em; text-decoration:none; } /* .hilite background color isn't predictable in math */ *[class~="hilite"] { color:#FF0000; } *[class~="hilitebg"] { background-color:#FFE0E0; } /* recover table structure within hit lists */ .ltx_hitcontent .ltx_eqn_div {display:table; } .ltx_hitcontent .ltx_eqn_div > span { display:table-cell; } /* ====================================================================== Ad-Hoc... ====================================================================== */ /* ======= News Items ============ */ /*.recentnews { width:70%; margin:0.5em 10% 0.5em 10%; */ .ltx_recentnews { margin:1em 4em 1em 4em; padding:0.2em; font-size:90%;} .ltx_recentnews ul { margin:0.2em; padding-left:1em; } body.color_default .ltx_recentnews { background-color:#d3dce6; border: 1px solid #a4abb2; } body.color_gold .ltx_recentnews { background-color:#e6e6d3; border: 1px solid #b2b2a4; } .ltx_recentnews { border-radius: 5px; box-shadow: inset 0px 2px 5px #888; } .ltx_newsitem { list-style-type:none; } dl.ltx_news dt.ltx_newsitem { float:none; } .ltx_NEW { font-weight:bold; font-style:italic; color:#D06060; } /* ========== Software table ========= */ /*.softwaretable table { width: 50em; }*/ /* No prefixes on this stuff (yet?) */ .softwaretable { margin-left: 0; margin-right:0;} .softwaretable table { border-collapse:separate; border-spacing:0px; } /* Heading stuff */ .softwaretable .ltx_th { white-space:normal !important; } /* this stuff for vertical headings. */ .softwaretable .packagerow.implementedcol img { position:relative; bottom:-10px;} /* IE. workaround; doesn't recognize the -10px; */ .softwaretable .languagerow { padding-top:10px; font-size:70%; } tr > td.languagerow { padding-top:0px !important; } .softwaretable .softchapter, .softwaretable .languagerow, .softwaretable .othercol {white-space:normal !important;} .softwaretable .languagerow, .softwaretable tbody .ltx_th { font-weight:normal!important;} .softwaretable .sectioncol { width:14em; font-size:80%; padding-left:1em; text-indent:-1em; } .softwaretable .othercol { width:7em; font-size:80%; } .softwaretable .implementedcol { width:24px; max-width:24px; font-size:80%; margin:0px; padding-left:0px; padding-right:0px; text-align:center; } /* set to abs widths, so that floatheader js scroller works .softwaretable .sectioncol { width:150px; padding-left:1em; } .softwaretable .othercol { width:60px; } */ /* Use Green scheme for this table. */ .softwaretable table th.ltx_th { background-color: #C0FFC0; } .softwaretable .col0 { background-color:#D0FFD0 !important; } .softwaretable .col1 { background-color:#F0FFF0 !important; } .softwaretable a { text-decoration:none; } /* Vertical scrolling of the software table */ /* ANNOYing IE version.*/ /*.softwaretable { position:relative; height:400px; overflow-x:hidden; overflow-y:scroll; }*/ .softwaretable thead { display:block; width:100%; border-bottom:1px solid black; } .softwaretable tbody { display:block; width:100%; height: 500px; overflow-y:scroll; } /*.softwaretable { height:400px; overflow-x:hidden; overflow-y:scroll; }*/ /*.softwaretable thead tr { width:100%; } .softwaretable thead tr { position:absolute; top:expression(this.offsetParent.scrollTop); } */ .floatHeader { border-bottom: 3px double black; } /*.softwaretable thead tr { width:100%; min-width:100%; }*/ /* .softwaretable thead { position:absolute; top:expression(this.offsetParent.scrollTop); } .softwaretable tbody { height: auto; } */ /* Hide this from IE */ /* ***** Also: commented out to use floatheader js.*/ /*.softwaretable > table > tbody { height: 40ex; max-height:40ex; overflow:scroll; overflow-x:hidden; } */ /*.tabular td { block-progression:tb; glyph-orientation-vertical: 90deg; }*/ /* ====================================================================== Support for Visualization pop-up */ /* #mask { display:none; background-color:#101010; opacity:0.65; filter:alpha(opacity=65); position:absolute; top:0px; left:0px; width:100%; z-index:99; } */ #vizfallback { display:none; position:absolute; z-index:100; width:20em; padding:0.5em; text-align:left; } body.color_default #vizfallback { background-color:#d3dce6; border: 4px outset #a4abb2; } body.color_gold #vizfallback { background-color:#e6e6d3; border: 4px outset #b2b2a4; } #vizfallback input, #vizfallback button { margin:0.2em 0.5em; } .ltx_magnifiable.ltx_icon span, .ltx_3dgraphic.ltx_icon span { display:none; } .ltx_magnifiable.ltx_icon, .ltx_3dgraphic.ltx_icon { vertical-align:-0.6em; width:24px; height:24px; display:inline-block; content:" "; background-repeat:no-repeat; background-position:center; background-size: 24px 24px; } .ltx_magnifiable.ltx_icon { background-image:url('mag.png'); background-image:url('mag.svg'),none; } .ltx_3dgraphic.ltx_icon { background-image:url('3d-icon.png'); background-image:url('3d-icon.svg'),none; } .ltx_magnifiable { cursor: zoom-in; } .ltx_3dgraphic { cursor: url(3d-icon.png), move; } /* ====================================================================== Mouse cursors */ .ltx_help { cursor: help; } .ltx_customize { cursor: context-menu; } .ltx_icon:hover { transform: scale(1.3,1.3); } .ltx_icon { width:24px; height:24px; } /* ====================================================================== jQuery.leaveNotice support, adapted to match DLMF style */ /* The style for the blackout div that appears when the exit dialog is shown. */ #ln-blackout { position:fixed; top:0; left:0; width:100%; height:100%; background-color:#000;} /* This style is for a container that holds the message dialog box. It has been added primarily to help with positioning. I know some people would complain about this, but it seems more efficient this way even it is isn't semanitc. */ #ln-messageHolder { position:fixed; top:150px; left:0; width:100%; z-index:200; } /* This style is for the div that holds the actual exit dialog. */ #ln-messageBox { width:460px; margin:0 auto; min-height:200px; background-color:#fff; border-radius:10px; text-align:center; padding:20px;} body.color_default #ln-messageBox { background-color: #d3dce6; border: 4px outset #a4abb2; } body.color_gold #ln-messageBox { background-color: #e6e6d3; border: 4px outset #b2b2a4; } /* This style is applied to the link that closes the dialog. */ a#ln-cancelLink { background-color:#e6e6e6; font-weight:bold; padding:5px; color:#666; text-decoration:none; text-transform:uppercase; font-size:0.8em;} a#ln-cancelLink:hover { background-color:#666; color:#e6e6e6;} /* This style is for the box that holds the section that says where the user is being directed to. */ body.color_default .setoff { border: 4px inset #a4abb2; } body.color_gold .setoff { border: 4px inset #b2b2a4; } .setoff { border-radius:5px; padding:5px; background-color:#fff; }