/* article.css from article.tex (TeX4ht, 2013-12-04 15:36:00) */
/* start css.sty */
.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;}
.cmtt-12{font-family: monospace;}
.cmr-17x-x-120{font-size:170%;}
.cmr-12x-x-120{font-size:120%;}
.msam-10{font-size:83%;}
.msbm-10{font-size:83%;}
.cmtt-12x-x-120{font-size:120%;font-family: monospace;}
.cmtt-12x-x-120{font-family: monospace;}
.cmtt-12x-x-120{font-family: monospace;}
.cmbx-10x-x-109{font-size:90%; font-weight: bold;}
.cmbx-10x-x-109{ font-weight: bold;}
.cmbx-12{ font-weight: bold;}
.cmbx-12{ font-weight: bold;}
.cmti-12{ font-style: italic;}
.cmr-8{font-size:66%;}
.cmr-6{font-size:50%;}
.cmmi-12{font-style: italic;}
.cmmi-8{font-size:66%;font-style: italic;}
.cmmi-6{font-size:50%;font-style: italic;}
.cmsy-8{font-size:66%;}
.cmti-10{font-size:83%; font-style: italic;}
.cmtt-10x-x-109{font-size:90%;font-family: monospace;}
.cmtt-10x-x-109{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;}
.equation td{text-align:center; }
.equation-star td{text-align:center; }
table.equation-star { width:100%; }
table.equation { width:100%; }
div.align {text-align: center;}
table.multline, table.multline-star {width:100%;}
td.gather {text-align:center; }
table.gather {width:100%;}
div.gather-star {text-align:center;}
.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-3- td{border-bottom:0.13159em solid} 
tr#TBL-2-4- td{border-bottom:0.08224em solid}
tr#TBL-2-6- 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-5- 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.5em;
}

.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 {
     margin-top: 3px;
     vertical-align: middle;
     border-top-width: 0px;
     border-left-width: 0px;
     border-bottom-width: 0px;
     border-right-width: 0px;
                                                                                                  
                                                                                                  
}

img.popupOrgQuoteDeIcon, img.popupOrgQuoteFrIcon {
     margin-right: 3px;
     vertical-align: middle;
     border-top-width: 0px;
     border-left-width: 0px;
     border-bottom-width: 0px;
     border-right-width: 0px;
}

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;
}

img.fnListOrgQuoteDeIcon, img.fnListOrgQuoteFrIcon {
     margin-top: 3px;
     vertical-align: top;
     border-top-width: 0px;
     border-left-width: 0px;
                                                                                                  
                                                                                                  
     border-bottom-width: 0px;
     border-right-width: 0px;
}


/* Figure Page */
td.figListFigNumber {
     vertical-align: top;
}

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;
}

a.upTrackLink {
     color: #EBEBEB;
     margin-left: 0.3em;
}

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;
}

div.centerline {
     text-align: center;
}

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-width: 0;
}

div.subsectionTOCS, img {
     border-width: 0;
}

img.extLinkIcon {
     border-width: 0;
     vertical-align: middle;
     margin-right: 0.1em;
     margin-bottom: 0.1em;
                                                                                                  
                                                                                                  
}

img.eqIcon {
     border-width: 0;
     vertical-align: middle;
}

a.eqPopupLink {
  color: #EBEBEB;
  margin-left: 0.3em;
}

a.fnLink sup {
     background-color: #FFFF99;
     padding: 0 0.3em;
}

img.fnIcon {
     border-width: 0;
     vertical-align: middle;
}

img.refTrackIcon {
     border-width: 0;
     vertical-align: middle;
}

a.refTrackLink {
  color: #EBEBEB;
  margin-left: 0.3em;
}

img.amTrackIcon {
     border-width: 0;
     vertical-align: middle;
}

img.imgIcon {
     border-width: 0;
     vertical-align: middle;
}
                                                                                                  
                                                                                                  

img.upIcon {
     border-width: 0;
     vertical-align: middle;
}

a.figPopupLink {
     color: #EBEBEB;
     margin-left: 0.3em;
}

img.movieIcon {
     border-width: 0;
     vertical-align: middle;
}

a.movieLink {
     color: #EBEBEB;
     margin-left: 0.3em;
}


/* 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: #EBEBEB;
}

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: 0.5em;
}

td.refNumber {
     vertical-align: top;
}

.content {
     font-size: 14px;
}

/* 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: #EBEBEB;
}

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 {
     font-size: 14px;
     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: 110%; }
#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 */
span.pplb8t-x-x-109 {
     font-family: Arial, Helvetica, sans-serif
}
span.pplr8t-x-x-109 {
     font-family: Arial, Helvetica, sans-serif
}
.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%;
}

/* affiliation jQuery toggle */
.affiliation {
     font-size: 12px;
     line-height: 1.4;
}

.toggle_container {
  overflow: auto;
  font-size: 1.2em;
  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-width: 0;
     vertical-align: middle;
     text-align: left
}

td.up {
     border-width: 0;
     vertical-align: middle;
     text-align: center
}

td.next {
     border-width: 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: #ADADAD;
     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: #EBEBEB;
                                                                                                  
                                                                                                  
     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);
}

#pageWrapper > div {
     /* style the layout container (sidebar, sidebar handle, content, ...) as inline-block element */
     display: inline-block;
}


#pageHeader {
     width:96%;
     padding:2%;
     background-color: #FFFFFF;
     text-align: center;
}

#pageHeader .linked-logo {
     background-color: #FFFFFF;
     padding: 1%;
     display:inline-block;
     border-radius: 0.5em;
     vertical-align: top;
}


#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; padding:0.2em 1em; }
#topmenu .overlayMenu .menuBody li:hover { background-color: #003366; }
#topmenu .overlayMenu .menuBody a { color: #FFFFFF; }




/* google search menu */
#topmenu .searchMenu form.gsc-search-box {
     font-size: 13px;
     margin: 0 0 4px;
     width: 100%;
}
#topmenu .searchMenu table.gsc-search-box {
     border-spacing: 0;
     border-style: none;
     border-width: 0;
     margin-top: 4px;
     width: 100%;
     font-size: 100%;
}
#topmenu .searchMenu table.gsc-search-box td.gsc-input {
     padding-right: 12px;
}
#topmenu .searchMenu table.gsc-search-box td {
     vertical-align: middle;
}
#topmenu .searchMenu td, th {
     vertical-align: top;
}
#topmenu .searchMenu input {
     height: 1.4em;
     vertical-align: middle;
}

#topmenu .searchMenu input.gsc-search-button {
     min-width: 0;
     cursor: pointer;
                                                                                                  
                                                                                                  
}
#topmenu .searchMenu input.gsc-input {
     border-color: #D9D9D9;
     font-size: 13px;
     padding: 1px 6px;
     width: 99%;
     min-width: 0;
     border-radius: 0.2em;
     -moz-border-radius: 0.2em;
     -ms-border-radius: 0.2em;
     -webkit-border-radius: 0.2em;
     -o-border-radius: 0.2em;
}
#topmenu .searchMenu .cse .gsc-branding,
#topmenu .searchMenu .gsc-branding {
     display: none;
}

.gsc-control-searchbox-only {
     max-width: 17.692307692em;
}
/* Search button */
#cse-search-form input[type=button] {
     font-family: inherit;
     font-size: 11px;
     font-weight: bold;
     color: #000000;
     padding: 0 8px;
     height: 2em;
     min-width: 0px; /* disable default 54px */
     width: 2em;
     background-color: #CCCCCC;
     background-image: url('images/search.png');
     background-repeat: no-repeat;
     background-position: center 30%;
     color: transparent; /* hide 'Search' */
     text-indent: -9999px; /* hack for IE */
     text-shadow: none;
     border: 1px solid #CCCCCC;
     border-radius: 0.2em;
     -webkit-border-radius: 0.2em;
                                                                                                  
                                                                                                  
}
#cse-search-form input[type=button]:hover {
     background-color: #EEEEEE;
     background-image: url('images/search.png');
     background-repeat: no-repeat;
     background-position: center 50%;
     border: 1px solid #BBBBBB;
     color: transparent; /* hide 'Search' */
     text-shadow: none;
}






#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: #416482;
}
#sidebarNav .active,
                                                                                                  
                                                                                                  
#sidebarNav .active a {
     color: #FFFFFF;
     background-color: #AAAAAA;
}
#sidebarNav .active td {
box-shadow: 0 0 1px #AAAAAA; /* hack reducing iPad table borders */
}

#sidebarNav .box {
     min-width: 97%;
     max-width: 100%;
     padding: 0.2em;
     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,
#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.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:#EBEBEB;
     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: 18px;

     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;
}


                                                                                                  
                                                                                                  
/* -- additional settings which fix bugs in old and new definitions (with-out- frameset) -- */
td.figListFigNumber {
     width: 7em;
     text-align: right;
}