body { 	
color:#000000;
background-color:#EEEEEE;
font-family:Arial,Helvetica,sans-serif;
text-align: center;
padding-top:5pt;
padding-bottom:5pt;
padding-left:50pt;
padding-right:50pt;
}

#centerContainer { 
max-width:48rem;
text-align:left; 
margin:0pt auto; 
}

h1 { 
text-align:center;
font-size:1.8rem; 
font-weight:bold;
background-color:#b7dea1;
padding:0.5ex;
margin-left:0px;
margin-right:0px;
}

h2 { 
text-align:center;
font-size:1.5rem; 
font-weight:bold;
background-color:#b7dea1;
padding:0.5ex;
margin-left:0px;
margin-right:0px;
}

h3 { 
text-align:left;
font-size:1.2rem; 
font-weight:bold;
margin-left:0px;
margin-right:0px;
}

h4 { 
text-align:left;
font-size:1.0rem; 
font-weight:bold;
margin-left:0.5px;
margin-right:0px;
}

hr.bot {
border-style:none;
height:2ex; 
background-color:#b7dea1;
margin-top:2ex;
}

a:link { color:#0000CC }
a:visited { color:#0000CC  }
a:focus { color:#0000CC }
a:hover {  color:#0000CC }
a:active { color:#CC0000  }

.refin { font-style:italic }

dt.ref {
  float: left;
  font-weight: bold;
  margin-right: 0.5em;
}

span.navi {
font-size:0.90rem; 
background-color:#b7dea1;
padding-left:1ex;
padding-right:1ex;
padding-top:0.5ex;
padding-bottom:0.5ex;
margin-right:1ex;
}

span.navi a { color:#000000; text-decoration:none; }
span.navi a:active { color:#AA0000  }

span.hi { background-color:#FFCC88; }

div.pubtitle {
    font-weight:bold;
}

li.publist {
    margin: 0 0 1ex 0;
}

div.codeline {
    font-family:"Courier New",Courier,monospace;
}

.bibtitle { font-weight:bold; }
.bibauth { font-style:italic; }

li.bibli { margin:0 0 1ex 0; }

li.spcy { margin:0 0 1ex 0; }

code {
    font-family: "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
    font-size:100%;
}

pre.codeblock {
    white-space: pre-wrap;
    background-color: #d0d0d0;
    padding: 1em;
}

span.xtitle {
    font-weight:bold;
}    

li.xli {
    margin: 0 0 1ex 0;
}

input.searchbarEdition {
    font-size:70%;
}