body {
  font-family: sans-serif;
  #padding: 0px 9pt 0px 9pt;
  margin-left: 5%;
  margin-right: 5%;
}
pre {
  background-color: #eee;
}

table {
  margin-left: 0.5em;
  border-top-width: 1px;
  border-top-color: #999;
  border-top-style: solid;
  border-bottom-width: 1px;
  border-bottom-color: #ccc;
  border-bottom-style: solid;
}

td { 
  padding: 6pt 1em 6pt 0px;
  background-color: #f8f8f8;
  font-size: 1em;
  font-weight: normal;
  vertical-align: top;
  text-align: left;
  #border: solid 1px #ccc;
}

th { 
  #background-color: #aaa;
  padding: 6pt 1em 6pt 0px;
  font-size: 1.1em;
  text-align: left;
}

p {
  text-align: justify;
}

ul, ol {
  padding-left: 1em;
}

hr {
 background-color:#fff; /* Mozilla 1.4 */
 color:#fff; /* IE 6 */
 border: #fff; /* Opera 7.11 */
 height: 0px; /* Opera, Mozilla */
 margin-top: 0px;
 margin-bottom: 0px;
}

h1 {
 font-size: 1.5em;
}

h2 {
 font-size: 1.4em;
}

h3 {
 font-size: 1.3em;
}

h4 {
 font-size: 1.2em;
}

h3.title {
 font-size: 0.9em;
 font-weight: 400;
 text-align: right;
 margin-bottom: 36pt;
}
em.emphasis {
 font-style: italic;
 color: #66c;
 font-weight: bold;
}

em.pelement {
 font-family: sans-serif;
 color: #900;
}

em.company {
 font-family: sans-serif;
 color: #309;
}

em.email {
 font-family: sans-serif;
 color: #039;
}

em.java_class {
 font-family: sans-serif;
 color: #390;
}

em.java_method {
 font-family: sans-serif;
 color: #093;
}

span.path {
 margin-left: 16px;
 font-size: 1em;
 font-family: sans-serif;
}

span.path a {
 text-decoration: none;
}

span.path a:hover {
 text-decoration: underline;
}

span.navbar {
 position:absolute;
 right: 1.1em;
}

div.navigation {
 width: 100%;
 padding-top: 3em;
 padding-bottom: 3em;
 background-color: #eee;
}

div.abstract {
}

div#footer {
 margin-top: 3em;
 text-align: center;
 font-size: 0.9em;
 font-family: sans-serif;
 font-weight: 400;
}

div.chapter {
 margin-top: 2em;
 padding-left: 0.5em;
 border-top-style: solid;
 border-top-width: 1px;
 border-top-color: #ddd;
}

div.section {
 margin-top: 2em;
}

div.note, div.important, div.caution, div.warning, div.tip {
  #background-color: #eee;
  padding: 0px 0.5em 0px 0px;
  margin: 0px 0.5em 1em 0.5em;
  border-width:0px;
  border-style:solid;
  border-color:gray;
  #border-left-width: 0.5em;
  border-right-width: 0.5em;
  font-size: 1.1em;
  font-weight: 600;
 }

div.note {
 #border-left-color: #66c;
 border-right-color: #66c;
}
div.important {
 #border-left-color: #c66;
 border-right-color: #c66;
}
div.caution {
 #border-left-color: #c66;
 border-right-color: #c66;
}
div.warning {
 #border-left-color: #c66;
 border-right-color: #c66;
}
div.tip {
 #border-left-color: #6c6;
 border-right-color: #6c6;
}

/* remove borders from navigation images */
a img {
 border: 0px;
}