/* article.css from article.tex (TeX4ht, 2016-01-11 10:41:00) */ /* start css.sty */ .cmex-10{font-size:83%;} .cmr-7{font-size:58%;} .cmr-10{font-size:83%;} .cmmi-7{font-size:58%;font-style: italic;} .cmmi-10{font-size:83%;font-style: italic;} .cmsy-7{font-size:58%;} .cmsy-10{font-size:83%;} .cmr-10x-x-109{font-size:90%;} .cmtt-12{font-family: monospace;} .cmtt-12{font-family: monospace;} .cmr-17x-x-120{font-size:170%;} .cmr-12x-x-120{font-size:120%;} .cmbx-10x-x-109{font-size:90%; font-weight: bold;} .cmbx-10x-x-109{ font-weight: bold;} .cmr-8{font-size:66%;} .cmmi-10x-x-109{font-size:90%;font-style: italic;} .cmmi-8{font-size:66%;font-style: italic;} .cmsy-10x-x-109{font-size:90%;} .cmsy-8{font-size:66%;} .cmsy-6{font-size:50%;} .cmti-10x-x-109{font-size:90%; font-style: italic;} .cmmi-12{font-style: italic;} .cmti-12{ font-style: italic;} .cmti-8{font-size:66%; font-style: italic;} .cmti-10{font-size:83%; font-style: italic;} .cmbx-12{ font-weight: bold;} .cmbx-12{ font-weight: bold;} .cmtt-10x-x-109{font-size:90%;font-family: monospace;} .cmtt-10x-x-109{font-family: monospace;} @media print {span.next {visibility:hidden;}} body#tex4ht-menu {white-space: nowrap; } p.noindent { text-indent: 0em } td p.noindent { text-indent: 0em; margin-top:0em; } p.nopar { text-indent: 0em; } p.indent{ text-indent: 1.5em } @media print {div.crosslinks {visibility:hidden;}} center { margin-top:1em; margin-bottom:1em; } td center { margin-top:0em; margin-bottom:0em; } .Canvas { position:relative; } img.math{vertical-align:middle;} li p.indent { text-indent: 0em } li p:first-child{ margin-top:0em; } li p:last-child, li div:last-child { margin-bottom:0.5em; } li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; } .enumerate1 {list-style-type:decimal;} .enumerate2 {list-style-type:lower-alpha;} .enumerate3 {list-style-type:lower-roman;} .enumerate4 {list-style-type:upper-alpha;} div.newtheorem { margin-bottom: 2em; margin-top: 2em;} .obeylines-h,.obeylines-v {white-space: nowrap; } div.obeylines-v p { margin-top:0; margin-bottom:0; } .overline{ text-decoration:overline; } .overline img{ border-top: 1px solid black; } td.displaylines {text-align:center; white-space:nowrap;} .centerline {text-align:center;} .rightline {text-align:right;} div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; } .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } div.fbox {display:table} div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } div.minipage{width:100%;} div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;} div.center div {text-align: left;} div.flushright, div.flushright div.flushright {text-align: right;} div.flushright div {text-align: left;} div.flushleft {text-align: left;} .underline{ text-decoration:underline; } .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; } .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } .framebox-c {text-align:center;} .framebox-l {text-align:left;} .framebox-r {text-align:right;} span.thank-mark{ vertical-align: super } span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; } div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; } table.tabular td p{margin-top:0em;} table.tabular {margin-left: auto; margin-right: auto;} td p:first-child{ margin-top:0em; } td p:last-child{ margin-bottom:0em; } div.td00{ margin-left:0pt; margin-right:0pt; } div.td01{ margin-left:0pt; margin-right:5pt; } div.td10{ margin-left:5pt; margin-right:0pt; } div.td11{ margin-left:5pt; margin-right:5pt; } table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } td.td00{ padding-left:0pt; padding-right:0pt; } td.td01{ padding-left:0pt; padding-right:5pt; } td.td10{ padding-left:5pt; padding-right:0pt; } td.td11{ padding-left:5pt; padding-right:5pt; } table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } .hline hr, .cline hr{ height : 1px; margin:0px; } .tabbing-right {text-align:right;} span.TEX {letter-spacing: -0.125em; } span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;} a span.TEX span.E {text-decoration: none; } span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;} span.LATEX span.TEX{ position:relative; left: -0.4em; } div.float, div.figure {margin-left: auto; margin-right: auto;} div.float img {text-align:center;} div.figure img {text-align:center;} .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} .marginpar p{margin-top:0.4em; margin-bottom:0.4em;} table.equation {width:100%;} .equation td{text-align:center; } td.equation { margin-top:1em; margin-bottom:1em; } td.equation-label { width:5%; text-align:center; } td.eqnarray4 { width:5%; white-space: normal; } td.eqnarray2 { width:5%; } table.eqnarray-star, table.eqnarray {width:100%;} div.eqnarray{text-align:center;} div.array {text-align:center;} div.pmatrix {text-align:center;} table.pmatrix {width:100%;} span.pmatrix img{vertical-align:middle;} div.pmatrix {text-align:center;} table.pmatrix {width:100%;} span.bar-css {text-decoration:overline;} img.cdots{vertical-align:middle;} .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;} .index-item, .index-subitem, .index-subsubitem {display:block} div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;} div.caption span.id{font-weight: bold; white-space: nowrap; } h1.partHead{text-align: center} p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; } p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; } .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;} .subparagraphHead, .likesubparagraphHead { font-weight: bold;} .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;} .verse{white-space:nowrap; margin-left:2em} div.maketitle {text-align:center;} h2.titleHead{text-align:center;} div.maketitle{ margin-bottom: 2em; } div.author, div.date {text-align:center;} div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; } div.author{white-space: nowrap;} .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; } .abstract p {margin-left:5%; margin-right:5%;} div.abstract {width:100%;} .subsectionToc, .likesubsectionToc {margin-left:2em;} .subsubsectionToc, .likesubsubsectionToc {margin-left:4em;} .figure img.graphics {margin-left:10%;} span.footnote-mark sub.sub, span.footnote-mark a sub.sub{ font-size:80%; } tr#TBL-2-1- td{border-top:0.13159em solid} tr#TBL-2-1- td{border-bottom:0.08224em solid} tr#TBL-2-27- td{border-bottom:0.13159em solid} tr#TBL-3-1- td{border-top:0.13159em solid} tr#TBL-3-1- td{border-bottom:0.08224em solid} tr#TBL-3-10- td{border-bottom:0.13159em solid} tr#TBL-4-1- td{border-top:0.13159em solid} tr#TBL-4-1- td{border-bottom:0.08224em solid} tr#TBL-4-13- td{border-bottom:0.13159em solid} tr#TBL-5-1- td{border-top:0.13159em solid} tr#TBL-5-2- td{border-bottom:0.08224em solid} tr#TBL-5-8- td{border-bottom:0.13159em solid} /* end css.sty */ /* Article toc */ body.toc { background-color: #FFFFFF; } .box { border-color: #005295; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; margin: auto } div#subsect-box a { display: block; text-decoration: none; text-align: center; border: 1px #005295 solid; color: #EEEEEE; background-color: #005295; padding-top: 2px; padding-bottom: 2px; padding-left: 8px; font-size: 11px; width: 93%; margin: auto } div#subsect-box a:hover { background-color: #BBBBBB; color: #005295; } .partToc a, .partToc, .likepartToc a, .likepartToc { line-height: 1.4; font-weight:normal; font-size:100%; } tr.partToc, tr.likepartToc { font-size: 110%; } tr.sectionToc { font-size: 12px; } tr.subsectionToc { font-size: 11px; } tr.likesectionToc { font-size: 12px; } tr.partToc td, tr.likepartToc td, tr.sectionToc td, tr.likesectionToc td { padding-top: 0.25em; padding-bottom: 0.25em; } .mark { margin-right: 6px; } a.hideshow:link { font-size: 11px; color: #005295; text-decoration: none } a.hideshow:visited { font-size: 11px; color: #005295 } a.hideshow:hover { font-size: 11px; color: #005295; text-decoration: underline } a.header-url:link { font-size: 11px; color: #005295; font-weight: bold; text-decoration: none } a.header-url:visited { font-size: 11px; color: #005295; font-weight: bold } a.header-url:hover { font-size: 11px; color: #005295; font-weight: bold; text-decoration: underline } .header-title { font-size: 11px; color: #005295; text-align: center; } .header-author { font-size: 11px; color: #005295; font-style: normal; text-align: center; } /* tabs styles, based on http://www.alistapart.com/articles/slidingdoors */ DIV.tabs { float: left; /* width: 100%; */ /* background: url('images/tab_b.gif') repeat-x bottom; margin-bottom: 4px; */ } DIV.tabs2 { float: right; /* width: 100%; */ /* background: url('images/tab_b.gif') repeat-x bottom; margin-bottom: 4px; */ } DIV.tabs UL, DIV.tabs2 UL { margin: 0px; padding-left: 0px; /* was 10px */ list-style: none; } DIV.tabs LI, DIV.tabs2 LI { display: inline; margin: 0px; padding: 0px; } DIV.tabs A, DIV.tabs2 A { float: left; background: url('images/tab_r.gif') no-repeat right top; /* border-bottom: 1px solid #005295; */ font-size: 11px; font-weight: bold; text-decoration: none; } DIV.tabs A:hover, DIV.tabs2 A:hover { background-position: 100% -150px; } DIV.tabs A:link, DIV.tabs A:visited, DIV.tabs A:active, DIV.tabs A:hover, DIV.tabs2 A:link, DIV.tabs2 A:visited, DIV.tabs2 A:active, DIV.tabs2 A:hover { color: #005295; } DIV.tabs SPAN { float: left; display: block; background: url("images/tab_l.gif") no-repeat left top; padding: 3px 9px; white-space: nowrap; } DIV.tabs2 SPAN { float: right; display: block; background: url("images/tab_l.gif") no-repeat left top; padding: 3px 9px; white-space: nowrap; } /* Commented Backslash Hack hides rule from IE5-Mac \*/ DIV.tabs SPAN, DIV.tabs2 SPAN { float: none; } /* End IE5-Mac hack */ DIV.tabs A:hover SPAN, DIV.tabs2 A:hover SPAN { background-position: 0% -150px; } /* not used in frames */ DIV.tabs LI.current A { background-position: 100% -150px; border-width: 0px; } /* not used in frames */ DIV.tabs LI.current SPAN { background-position: 0% -150px; padding-bottom: 6px; } .clear-columns { clear: both; border-bottom: 1px solid #005295; } /* SIMBAD Queries */ a.simbad { color:#039; } /* Biographies */ .name { font-weight: bold; margin-top: 1em } a.biographyLink { color:#039; } /* Special Footnotes - Translations */ img.orgQuoteDeIcon, img.orgQuoteFrIcon, img.orgQuoteItIcon { margin-top: 3px; vertical-align: middle; border: 0; } img.popupOrgQuoteDeIcon, img.popupOrgQuoteFrIcon, img.popupOrgQuoteItIcon { margin-right: 3px; vertical-align: middle; border: 0; } body.regular .quote { font-size: 90%; margin-left: 4em; margin-right: 5em; } /* Footnote Page */ td.fnListFnNumber { vertical-align: top; font-size:83%; } td.fnListFnText { vertical-align: top; padding-left: 0.5em; padding-right: 0.5em; padding-bottom: 1em; } td.fnListFnText a.extLink { font-size: 83%; } td.fnListIcon { vertical-align: top; width: 1em; padding-top: 0.3em; } img.fnListOrgQuoteDeIcon, img.fnListOrgQuoteFrIcon, img.fnListOrgQuoteItIcon { margin-top: 3px; vertical-align: top; border: 0; } /* Figure Page */ td.figListFigNumber { vertical-align: top; width: 7em; text-align: right; } td.figListCaption { vertical-align: top; padding-left: 0.5em; padding-right: 0.5em; padding-bottom: 1em; padding-top: 2em; } td.figListBackLink { vertical-align: top; font-size: 12px; padding-top: 2em; } /* Resources Page */ table.resources { width: 90%; } td.resTabHead { vertical-align: top; font-weight: bold; color: #005295; padding-top: 2em; } td.resTabLabel { vertical-align: top; font-weight: bold; } td.resTabPath { vertical-align: top; } td.resTabDesc { vertical-align: top; } /* Table Page */ td.tableListCaption { padding: 1em 0em; } /* Amendment Page */ td.amListBackLink, td.amListAmDate, td.amListAmDesc, td.amListAmOld, td.amListAmAuthorComment, td.amListAmEditorcomment { vertical-align: top } td.amListHeadingAmDesc, td.amListHeadingAmOld, td.amListHeadingAmAuthorComment, td.amListHeadingAmEditorComment { vertical-align: top; font-weight: bold; } /* Update Page */ td.upListIcon { vertical-align: top; } td.upListText { vertical-align: top; padding-left: 0.5em; padding-right: 0.5em; padding-bottom: 1em; font-size: 16px; } .DescribeUpdate { margin-left: 0.3em; } img.upTrackIcon { border: 0; vertical-align: middle; visibility: hidden; } a.upTrackLink { color: PaleVioletRed; text-indent: 0.25em; line-height: 0.8; margin-left: 0.6em; margin-right: 0.3em; background-color: PaleVioletRed; display:inline-block; width: 0.9em; height: 0.9em; vertical-align: middle; -webkit-border-radius: 50em; -moz-border-radius: 50em; border-radius: 50em; margin-bottom: 0.1em; } a.upTrackLink:hover { text-decoration: none; color: MediumVioletRed; background-color: MediumVioletRed; } div.verbatimFile, div.longtable, div.tabular, div.float { display: table; margin-left: auto; margin-right: auto; margin-top: 1em; margin-bottom: 1em; } div.table, div.longtable { border: 1px solid gray; margin-top: 1.25em; margin-bottom: 1.25em; padding: 1em; /* adjust border to oversized tables: */ min-width: 97%; margin-right: 1em; display:-moz-inline-stack; display:inline-block; zoom:1; *display:inline; } table.longtable { margin-left: auto; margin-right: auto; } table.minipage { margin-left: auto; margin-right: auto; margin-bottom: -2em; } table.verbatimFile { margin-left: auto; margin-right: auto; margin-top: 1em; border-collapse: collapse; border: 1px solid black; } table.verbatimFile td { text-align: center; border: 1px solid black; } /* Thumbnails */ a.imageTn, img.imageTn { margin-top: 2em; border-width: 2px; } a.movieTn, img.movieTn { margin-top: 2em; border-width: 2px; } table.caption, td.content { white-space: normal; text-align: left; } .table .caption { text-align: left; margin-left: auto; margin-right: auto; margin-top: -1em; } .caption .id { font-size: 14px; } div.caption { text-indent:0; margin: 0; margin-top: 1em; } table.figure, table.caption { margin-left: auto; margin-right: auto; } div.figure { border: 1px solid gray; margin-top: 1.25em; margin-bottom: 1.25em; padding: 1.25em; } div.figure p { margin-top: 1.25em; } a.figLinkTitle { font-size: 15px; } /* No borders for images in headings, popup buttons in text ... */ body.toc, img { border: 0; } div.subsectionTOCS, img { border: 0; } img.extLinkIcon { border: 0; vertical-align: middle; margin-right: 0.1em; margin-bottom: 0.1em; } img.eqIcon { border: 0; vertical-align: middle; visibility: hidden; } a.eqPopupLink { color: LightSteelBlue; text-indent: 0.25em; line-height: 0.8; margin-left: 0.6em; margin-right: 0.3em; background-color: LightSteelBlue; display: inline-block; width: 0.9em; height: 0.9em; vertical-align: middle; -webkit-border-radius: 50em; -moz-border-radius: 50em; border-radius: 50em; margin-bottom: 0.1em; } a.eqPopupLink:hover { text-decoration: none; color: SteelBlue; background-color: SteelBlue; } a.fnLink sup { color: red; background-color: LightYellow; padding: 0 0.3em; } img.fnIcon { border: 0; vertical-align: middle; } a.refLink { color: #039; } img.refTrackIcon { border: 0; vertical-align: middle; visibility: hidden; } a.refTrackLink { color: DarkGray; text-indent: 0.25em; line-height: 0.8; margin-left: 0.6em; margin-right: 0.3em; background-color: DarkGray; display:inline-block; width: 0.9em; height: 0.9em; vertical-align: middle; -webkit-border-radius: 50em; -moz-border-radius: 50em; border-radius: 50em; margin-bottom: 0.1em; } a.refTrackLink:hover { text-decoration: none; color: Gray; background-color: Gray; } img.imgIcon { border: 0; vertical-align: middle; visibility: hidden; } img.upIcon { border: 0; vertical-align: middle; visibility: hidden; } a.figPopupLink { color: GoldenRod; text-indent: 0.25em; line-height: 0.8; margin-left: 0.6em; margin-right: 0.3em; background-color: GoldenRod; display:inline-block; width: 0.9em; height: 0.9em; vertical-align: middle; -webkit-border-radius: 50em; -moz-border-radius: 50em; border-radius: 50em; margin-bottom: 0.1em; } a.figPopupLink:hover { text-decoration: none; color: Gold; background-color: Gold; } img.movieIcon { border: 0; vertical-align: middle; display: none; /*hide dysfunctional link */ } a.movieLink { color: #F5F5F5; margin-left: 0.3em; display: none; /*hide dysfunctional link */ } /* Align equations */ div.labelledEqnarray, div.align { text-align: right; margin-top: 1em; margin-bottom: 1em; } div.unlabelledEqnarray { text-align: center; margin-top: 1em; margin-bottom: 1em; } /* Some global formatting */ body { font-family: Arial, Helvetica, sans-serif; /* font-size: 16px; */ font-size:81.25%; margin-right: 1.5em; margin-left: 1.5em; background-color: #F5F5F5; } body.regular { line-height: 24px; margin-bottom: 30px; /* space for NavPanel */ } /* line-height bug hack for IE; hide from IE5/Mac \*/ * html img.math, img.eqIcon, img.imgIcon, img.refTrackIcon, img.upTrackIcon { margin: 6px 0; vertical-align: middle; } /* end hide from IE5/Mac */ /* body.menu, body.descPage, body.figPage, body.tablePage, body.upPage { margin-top: 1.5em; margin-right: 15%; margin-left: 6%; min-width: 33em; } */ /* switched from previous definition by Marco */ body.menu, body.descPage, body.figPage, body.tablePage, body.upPage { margin-left:1.5em; margin-right:0; } body.refsPopup { /* margin-right: 15%; switched from previous definition by Marco margin-left: 6%; */ margin-left:1.5em; margin-right:0; } h1 { font-size: 26px; } h2.sectionHead { font-size: 24px; line-height: 1.4; } h3.subsectionHead { font-size: 20px; line-height: 1.4; } h4.subsubsectionHead { font-size: 16px; } h5 { font-size: 16px; font-style: italic; } /* .toc { font-size: 14px; } */ .headline { font-family: Verdana, sans-serif; font-size: 11px; color: #000000; font-weight: bold } li { padding-bottom: 1em } li p { margin-bottom: 0; } dd { padding-bottom: 1em } dd p { margin-bottom: 0; } /* Footer */ .footer { font-size: 75%; line-height: 1.4; color: #505050; border-color: #005295; border-style: solid; border-top-width: 1px; border-right-width: 0px; border-left-width: 0px; border-bottom-width: 0px; margin-top: 2em; padding-top: 0.5em; text-align:left; } .footer .license { margin-top: 1em; } .footer .license img { vertical-align: text-top; } .footer-left { width: 55%; text-align: left; } .footer-right { width: 45%; text-align: right; } .footer-title { font-size: 11px; color: #505050; } .footer-author { font-size: 11px; color: #505050; font-style: normal } a.footer-url:link { font-size: 11px; color: #005295; text-decoration: none } a.footer-url:visited { font-size: 11px; color: #005295; } a.footer-url:hover { font-size: 11px; color: #005295; text-decoration: underline } /* Global Links */ a:link { text-decoration: none } a:visited { text-decoration: none } a:hover { text-decoration: underline } /* Tables */ div.table > hr { display:none; } table.tabular { border: black; } /* color missing in tex4ht */ /* Amendments */ a.amLink { color: #FF0099; } a.upLink { color: #FF0099; } /* References */ table.refList td { padding-bottom: 1em; } td.refNumber { vertical-align: top; } /* History - Cite - Download */ .pagetitle { font-family: Verdana, sans-serif; font-size: 15pt; color: #005295; text-align: center } .black { font-family: Verdana, sans-serif; font-size: 11px; color: #000000 } .black-small { font-family: Verdana, sans-serif; font-size: 10px; color: #000000 } .black-bold { font-family: Verdana, sans-serif; font-size: 10px; color: #000000; font-weight: bold } .blue { font-family: Verdana, sans-serif; font-size: 11px; color: #005295; } .cite-example { font-family: Verdana, Helvetica, sans-serif; font-size: 13px; color: #005295; font-weight: bold } .dl-table-heading { font-family: Verdana, sans-serif; font-size: 10px; color: #000000; font-weight: bold; background-color: #CCCCCC } td.bg-gray-light { background: #F5F5F5; } a.smallblue:link { font-size: 11px; color: #005295; text-decoration: none } a.smallblue:visited { font-size: 11px; color: #005295 } a.smallblue:hover { font-size: 11px; color: #005295; text-decoration: underline } /* Popups */ body.amPopup { font-size: 14px; margin-bottom: 1.5em; } body.descPopup { font-size: 14px; margin-bottom: 1.5em; } body.fnPopup a.extLink, body.descPage a.extLink { font-size: 83%; } body.refsPopup .refList { margin-bottom: 1.5em; } body.refsPopup img.refTrackIcon { margin: 0 } body.figPopup { font-size: 14px; background-color: #FFFFFF; } body.verbatimFile td.number { color: red; font-size: small; } /* title page */ #titlepage { text-align: center; } #titlepage h1 { font-size: 170%; line-height: 1.35; } #titlepage #authors { margin-left: auto; margin-right: auto; width: 75%; font-size: 1.1em; } #titlepage div.author { text-align: center; margin: 0.5em; } #titlepage div.abstract { text-align: left; } #titlepage div.info { font-style: italic; margin: 1em; } #titlepage div.keywords { margin-top: 1em; text-indent: 0; text-align: left; margin-left: 5%; color: #505050; font-size: 0.88em; line-height: 1.5; } #titlepage span.keywords { font-weight:bold; margin-right: 0.5em; } /* explicit abstract formatting */ .abstractHead { font-size: 120%; text-align: center; margin-top: 2em; } h3.abstractHead + p { text-indent: 0; } .abstract .cmr-10x-x-109, .abstract .cmbx-10x-x-109, .abstract .cmti-10x-x-109 { font-size: 100%; } span.pplb8t-x-x-109, span.pplr8t-x-x-109 { font-family: Arial, Helvetica, sans-serif } /* affiliation jQuery toggle */ .toggle_container { overflow: auto; font-size: 0.8em; line-height: 1.4; clear: both; margin-left: auto; margin-right: auto; border: 1px solid #ccc; } .toggle_container .block { padding: 0.5em; margin: 0.5em; } a.trigger { background: url('images/trigger.png') no-repeat top; padding-left: 20px; text-decoration:none; } a.active { background: url('images/trigger.png') no-repeat bottom; } /* frameset */ frame#main {border-width : 0} frame#toc {border-width : 0} frame#menu {border-width : 0} frame#notes {border-width : 0} /* Navigation Panel */ table.topNavPanel { background-color: #DDDDDD; } table.bottomNavPanel { background-color: #DDDDDD; margin-top: 15px; margin-bottom: 15px; } table.bottomNavPanel { position:fixed; bottom: -0.9em; width: 100px; border: 1px solid gray; right: 20px; } * html table.bottomNavPanel { position:static; width:100%; border: none; } td.previous { border: 0; vertical-align: middle; text-align: left } td.up { border: 0; vertical-align: middle; text-align: center } td.next { border: 0; vertical-align: middle; text-align: right } /* reset font family for internal links */ a.url span.cmtt-12 { font-family: Arial, Helvetica, sans-serif; } /* overwrite some css from tex4ht */ sup { white-space: nowrap; font-size: 100%\9; } /*size hacked for IE8*/ sub { white-space: nowrap; font-size: 100%\9; } /*size hacked for IE8*/ sup span.cmr-8 { font-size: 90%; margin-left: 0.1em; } sub span.cmr-8 { font-size: 90%; margin-left: 0.1em; } sup span.cmsy-8 { font-size: 90%; margin-left: 0.1em; } sub span.cmsy-8 { font-size: 90%; margin-left: 0.1em; } sup span.cmti-8 { font-size: 90%; margin-left: 0.1em; } sub span.cmti-8 { font-size: 90%; margin-left: 0.1em; } .cmsy-10x-x-120{line-height: 1.4;} /*for mathcal unicode on Windows */ sup, sub { vertical-align: baseline; position: relative; top: -0.4em; } sub { top: 0.4em; } /* add top and bottom spacing to frameset style */ .framebox-c, .framebox-l, .framebox-r { padding:1em; padding-bottom:2em; margin-bottom:2em; } /* ajax refs functionality */ div.formatList a { font-size: 80%; padding-right: 0.4em; color: #6f6f6f; } div.formatList .close { color: red; } /********************************************************************************************** ********************************************************************************************** *** START OF NEW DEFINITION FOR NEW LAYOUT WITHOUT FRAMESETS ********************************************************************************************** **********************************************************************************************/ /* -- new settings -- */ body.noFrame, body.regular.noFrame { background-color: LightGray; color:#000000; font-size: 95%; line-height: 145%; margin-left: 0; margin-right: 0; } body#titlepage.noFrame { text-align: left; } body#titlepage.noFrame #pageContent { text-align: center; } #pageWrapper { width: 66.181818em; margin:0 auto; padding-bottom: 2em; background-color: #F5F5F5; box-shadow: 0 1px 3px rgba(0,0,0,0.3); -ms-box-shadow: 0 1px 3px rgba(0,0,0,0.3); -webkit-box-shadow: 0 1px 3px rgba(0,0,0,0.3); -moz-box-shadow: 0 1px 3px rgba(0,0,0,0.3); -khtml-box-shadow: 0 1px 3px rgba(0,0,0,0.3); -o-box-shadow: 0 1px 3px rgba(0,0,0,0.3); } #pageWrapper > div { /* style the layout container (sidebar, sidebar handle, content, ...) as inline-block element */ display: inline-block; } #pageHeader { height: 7em; width:96%; padding:2%; background-color: #FFFFFF; } #pageHeader .left{ display: inline-block; text-align: left; width: 33%; margin: 0; vertical-align: top; } #pageHeader .center { width: 34%; margin: 0; display: inline-block; padding-top: 0.5em; } #pageHeader .right { display: inline-block; width: 32%; margin: 0; vertical-align: top; } ul#topNav { font-size: 80%; list-style: none; margin: 0; padding: 0; text-align: left; } #topNav li { border-right: 1px solid #bbb; display: inline; padding: 0 0.5em; white-space: nowrap; } #topNav li:last-child { border-right: none; } #topNav a { color: #aaaaaa } #topNav a:hover { color: #808080 } #pageContent { min-width:42.692307692em; width:69.5%; min-height: 40em; padding-right:1.25%; margin-left: 2%; margin-right: 2%; font-size:100%; vertical-align: top; } #pageContent:after { clear:both; float:none; } #pageContent img { max-width:100%; } #pageContent p.noindent { overflow: hidden; } #pageContent div.table, div.longtable { min-width: 0; width:97%; overflow: auto; } #topmenu { line-height:100%; width:98%; padding:0 1%; background-color: #005295; color:#FFFFFF; } #topmenu * { line-height: normal; } #topmenu a { color:#FFFFFF; line-height: 2.25em; } #topmenu a:hover { color:#DFDFDF; } #topmenu form { display:inline; } #topmenu ul { padding:0; margin:0.25em 0 0 0; } #topmenu li { display:inline-block; margin-right:1.25em; padding-bottom:0; list-style:none; vertical-align: middle; line-height: 2.25em; } #topmenu .mainMenu { float: right; } #topmenu .mainMenu:after { clear: both; } #topmenu .articleInfoMenu { float: left; margin-left: 1em; } #topmenu .articleInfoMenu:after { clear:both; } #topmenu .articleDownload a { background: url('images/icon_pdf_color.png') no-repeat; padding: 0.5em 0; padding-left: 33px; } #topmenu .overlayMenu.active .menuBody { display: block; } /* active class is a helper for mobile devices */ #topmenu .overlayMenu .menuBody { position: absolute; display:none; margin-top: 0em; margin-left: -1em; background-color: #005295; color: #FFFFFF; box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); -ms-box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); -webkit-box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); -moz-box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); -khtml-box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); -o-box-shadow: 6px 6px 6px -6px rgba(0,0,0,0.5); } #topmenu .overlayMenu .menuBody:hover { display:block; } #topmenu .overlayMenu:hover .menuBody { display:block; } #topmenu .overlayMenu .menuBody ul { list-style:none; } #topmenu .overlayMenu .menuBody li { display:block; line-height:135%; margin:0; min-width:7em; } #topmenu .overlayMenu .menuBody li:hover { background-color: #003366; } #topmenu .overlayMenu .menuBody a { color: #FFFFFF; display:block; padding:0.2em 1em; text-decoration:none; } /*override styles from Google custom search*/ #___gcse_0 { width: 12em; float:right; } form.gsc-search-box-tools table.gsc-search-box td.gsc-input { padding-right: 3px; } .gsc-search-button input.gsc-search-button-v2, input.gsc-search-button-v2 { padding: 5px 5px; min-width: 13px; margin-top: 0; } .gsc-control-cse { border-color: transparent !important; background-color: transparent !important; padding: 0 !important; text-align:left; line-height: 1.25 } input.gsc-input, .gsc-completion-container { font-size: 90% !important; } .gsc-modal-background-image { background-color: gray !important; } #sidebarNav { width: 14.75em; height: 100%; padding-top: 0; padding-left: 0.25em; padding-right: 0.25em; font-size: 0.95em; text-align: left; vertical-align: top; overflow: hidden; } .fixedSidebarPos { position:fixed; top:-1em; } #sidebarNav.fixedSidebarPos { margin-left:2em; } #sidebarNav a { color: #005295; } #sidebarNav a:hover { color: #036; } #sidebarNav .active, #sidebarNav .active a, #sidebarNav .active a:hover { color: #036; background-color: #DCDCDC; } #sidebarNav .active td { box-shadow: 0 0 1px #DCDCDC; /* hack reducing iPad table borders */ } #sidebarNav .box { padding: 0.5em; border: solid 1px #505050; margin: 1.25em auto 1.5em auto; border-radius:0.5em } #sidebarNav .box .header-title, #sidebarNav .box .header-author { color: #505050; font-size: 0.88em; line-height: 1.5; } #sidebarNav .box .header-title { margin-bottom: 0.5em; } #sidebarNav div#subsect-box { margin-bottom: 1.5em; } #sidebarNav div#subsect-box a { padding: 0.25em 0.3333333em; background-color: #005295; border: 1px solid #005295; color: #FFFFFF; font-size: 1em; cursor: pointer; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; } #sidebarNav div#subsect-box a:hover { background-color: #003366; border: 1px solid #003366; color: #FFFFFF; } #sidebarNav .toc-table-wrapper { width: 100%; max-height: 39em; padding: 1em 0 3em 0; overflow-x: hidden; overflow-y: auto; background-color: #FFFFFF; border-radius: 0.5em 0.5em 0.5em 0.5em; } @media screen and (min-height:1px) and (max-height:300px) { #sidebarNav .toc-table-wrapper { max-height: 3em; } } @media screen and (min-height:301px) and (max-height:350px) { #sidebarNav .toc-table-wrapper { max-height: 5em; } } @media screen and (min-height:351px) and (max-height:400px) { #sidebarNav .toc-table-wrapper { max-height: 7.5em; } } @media screen and (min-height:401px) and (max-height:450px) { #sidebarNav .toc-table-wrapper { max-height:10em; } } @media screen and (min-height:451px) and (max-height:559px) { #sidebarNav .toc-table-wrapper { max-height:13em; } } @media screen and (min-height:560px) and (max-height:599px) { #sidebarNav .toc-table-wrapper { max-height:19em; } } @media screen and (min-height:600px) and (max-height:779px) { #sidebarNav .toc-table-wrapper { max-height:26em; } #pageContent { min-height:43em; } } @media screen and (min-height:780px) and (max-height:950px) { #sidebarNav .toc-table-wrapper { max-height:34em; } #pageContent { min-height:45em; } } @media screen and (min-height:951px) and (max-height:1024px) { #sidebarNav .toc-table-wrapper { max-height:37em; } #pageContent { min-height:47em; } } @media screen and (min-height:1025px) { #pageContent { min-height:49em; } } #sidebarNav .toc-table { width: 100%; color: #005295; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; } #sidebarNav .toc-table tr.partToc, #sidebarNav .toc-table tr.partToc .mark, #sidebarNav .toc-table tr.partToc .label { font-size: 1.05em; } #sidebarNav .toc-table tr, #sidebarNav .toc-table tr .mark, #sidebarNav .toc-table tr .label { font-size: 1em; } #sidebarNav .toc-table tr.subsectionToc, #sidebarNav .toc-table tr.subsectionToc .mark, #sidebarNav .toc-table tr.subsectionToc .label { font-size: 0.97em; } #sidebarNav .toc-table tr .mark { margin-right: 0.3333333em; } #sidebarNav .toc-table td:last-child { padding-right: 0.5em; } #sidebarNav .toc-table tr.partToc td[valign], #sidebarNav .toc-table tr.sectionToc td[valign], #sidebarNav .toc-table tr.likesectionToc td[valign] { padding-left:0.5em; text-align:right; } #sidebarNav .subsectionToc { display:none; } /* style properties for the img overlay dialog */ #imgdialog { display:none; text-align: center; padding: 4%; border-bottom-left-radius: 0.5em; border-bottom-right-radius: 0.5em; -moz-border-bottom-left-radius: 0.5em; -moz-border-bottom-right-radius: 0.5em; -ms-border-bottom-left-radius: 0.5em; -ms-border-bottom-right-radius: 0.5em; -webkit-border-bottom-left-radius: 0.5em; -webkit-border-bottom-right-radius: 0.5em; -o-border-bottom-left-radius: 0.5em; -o-border-bottom-right-radius: 0.5em; } #imgdialog img { max-width: 100%; max-height: 100%; } #imgdialog .figureContainer { width: 100%; box-shadow: 0 0 1.25em #CCCCCC; -ms-box-shadow: 0 0 1.25em #CCCCCC; -webkit-box-shadow: 0 0 1.25em #CCCCCC; -moz-box-shadow: 0 0 1.25em #CCCCCC; -khtml-box-shadow: 0 0 1.25em #CCCCCC; -o-box-shadow: 0 0 1.25em #CCCCCC; } #imgdialog .caption { margin-left:0; margin-right:0; margin-top:1.5em; width:95.95%; padding:1% 2%; background-color:#F5F5F5; overflow: hidden; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; -khtml-border-radius: 0.5em; } div.ui-dialog { background-color: #FFFFFF; box-shadow: 0 0 1em #000000; -ms-box-shadow: 0 0 1em #000000; -webkit-box-shadow: 0 0 1em #000000; -moz-box-shadow: 0 0 1em #000000; -khtml-box-shadow: 0 0 1em #000000; -o-box-shadow: 0 0 1em #000000; border: 1px solid #000000; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; -khtml-border-radius: 0.5em; } .ui-dialog-titlebar { background-color: #003366; text-align: right; cursor:move; border-top-left-radius: 0.5em; border-top-right-radius: 0.5em; -moz-border-top-left-radius: 0.5em; -moz-border-top-right-radius: 0.5em; -ms-border-top-left-radius: 0.5em; -ms-border-top-right-radius: 0.5em; -webkit-border-top-left-radius: 0.5em; -webkit-border-top-right-radius: 0.5em; -o-border-top-left-radius: 0.5em; -o-border-top-right-radius: 0.5em; } .ui-button { background-color: #005295; border-color: #005295; color: #FFFFFF; cursor: pointer; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; } .zoomButton .ui-button { width: 2.5em; margin-right: 0.5em; font-weight: bold; } /* all outlineXYZ are defined for navigation on the side, e.g. collapse/expand sidebar */ #outlineNav { margin-top: 1em; padding-top: 0; width:2em; max-width:2em; vertical-align: top; } .outlineItem { vertical-align: top; } .outlineHandle { display: inline-block; height: 1.25em; line-height: 1.25em; margin-left: -1.75em; margin-top: 2em; margin-bottom: 2em; padding: 0.25em 0.5em; text-align: center; text-transform: uppercase; background-color: #005295; cursor: pointer; color: #FFFFFF; filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3); /* transform is supported by ie10, ie8 and below uses filter, ie9 understand -ms-prefix and filter */ transform: rotate(270deg); -webkit-transform: rotate(270deg); -moz-transform: rotate(270deg); -o-transform: rotate(270deg); -khtml-transform: rotate(270deg); border-bottom-left-radius: 0.5em; border-bottom-right-radius: 0.5em; box-shadow: 0 1px 3px rgba(0,0,0,0.5); -ms-box-shadow: 0 1px 3px rgba(0,0,0,0.5); -webkit-box-shadow: 0 1px 3px rgba(0,0,0,0.5); -moz-box-shadow: 0 1px 3px rgba(0,0,0,0.5); -khtml-box-shadow: 0 1px 3px rgba(0,0,0,0.5); -o-box-shadow: 0 1px 3px rgba(0,0,0,0.5); } .outlineHandle:hover { background-color: #003366; } /* styling for reference overlay box */ .infoLayer { position: absolute; display: none; padding: 5px; line-height: 145%; color:#000000; background-color: #FFFFFF; text-align: left; border: 0.071428571em solid #000000; border-radius: 0.5em; -moz-border-radius: 0.5em; -ms-border-radius: 0.5em; -webkit-border-radius: 0.5em; -o-border-radius: 0.5em; box-shadow: 0 5px 10px rgba(0,0,0,0.5); -ms-box-shadow: 0 5px 10px rgba(0,0,0,0.5); -webkit-box-shadow: 0 5px 10px rgba(0,0,0,0.5); -moz-box-shadow: 0 5px 10px rgba(0,0,0,0.5); -khtml-box-shadow: 0 5px 10px rgba(0,0,0,0.5); -o-box-shadow: 0 5px 10px rgba(0,0,0,0.5); z-index:2000; } .infoLayer:hover { display: block; } .infoLayer.equation { background-color: #F9F9F9; padding: 2em 0.5em; text-align: center; } .infoLayer > img { background-color:#F9F9F9; } .infoLayer .cmr-10, .infoLayer .cmti-10 { font-size:100%; } /* * for tables which are directly in the content container * e.g. fig_1.html */ #content h1 { font-size: 1.75em; line-height: 145%; } #content > table { margin-top: 3em; } /* reduce the width of the icon-space (e.g. in page Updates) */ #content td.upListIcon { width: 1.5em; } #content table.refList td.link { width:1em; padding-top: 0.3em; } #content table.refList td { vertical-align: top; }