/* *************************************************************************
   General settings
   ************************************************************************* */
body {
  background: white;
  color: black;
  font-size: 14px;
  font-family: sans-serif;
  line-height: 1.3;
  max-width: 72em;
  text-align: justify;
}

h1 {
  padding: 0.75em 0px 0px 0px;
}

pre {
  color: navy;
  padding: 0px 0px 0px 2em;
}

code {
  color: navy;
}

dt {
  padding: 0.5em 0px 0px 0px;
}


/* Navigation bar */

div.navigation {
  padding: 0px 0px 5px 0px;
}

table.navtable {
  width: 100%;
}

td.navbutton {
  padding: 0px;
  background: #db6262;
  color: black;
}

td.titlebox {
  background: #db6262;
  width: 100%;
  text-align: center;
  vertical-align: middle;
  font-size: 110%;
  font-weight: bold;
}

.navicon {
  padding: 3px 3px 3px 3px;
  margin: 0px;
  border-width: 0px;
}

div.online-navigation {
  padding: 4px 0px 0px 0px;
}

span.navlabel {
  font-weight: bold;
}

a.sectref {
  padding: 0px 0.7em 0px 0px;
}



/* *************************************************************************
   Printed document settings
   ************************************************************************* */

@media print {
body {
  background: #ffffff;
  color: #000000;
  margin: 0;
  padding: 0;
  max-width: 80em;
  font-family: arial,helvetica,sans-serif;
  font-size: 10pt;
  line-height: 1.3;
}

td.navbutton {
  display: none;
}

span.navlabel, a.sectref {
  display: none;
}

td.titlebox {
  font-size: 140%;
}

#bot-navigation-panel {
  display: none;
}

} /* End Printing style */