/* Main page layout and styling */
body {
  background: white;
  font-family: serif;
  margin: 0;
  padding: 0 0.5em
}
h1, h2, h3, h4, h5 {
  color: navy;
  font-family: sans-serif
}
h1 {
  margin: 0 0 0 0;
  padding: 0
}
h2, h3, h4, p {
  margin: 1ex 0;
  padding: 0
}
h1 {
  font-weight: bold;
  font-size: 250%;
}
h2 {
  font-weight: bold;
  font-size: 200%
}
h3 {
  font-weight: bold;
  font-size: 150%
}
h4 {
  font-weight: bold;
  font-size: 100%
}
h5 {
  font-size: 100%
}
h6 {
  font-size: 100%
}
div {
  margin: 0;
  padding: 0
}
p.summary {
  font-style: italic
}

/* Language/example specific layout */
pre {
  background-position: right top;
  background-repeat: no-repeat;
  border: 1px dotted navy;
  margin-left: 1em;
  margin-right: 1em;
  overflow: auto;
  padding: 1ex 1em
}
pre div.indent {
  padding-left: 2em
}
pre .c {
  color: green;
  font-style: italic
}
pre .k {
  color: maroon
}
pre.java {
  background-image: url(../img/java.png)
}
pre.java .l {
  color: navy
}
pre.xml {
  background-image: url(../img/xml.png)
}
pre.xml .i {
  color: navy
}

/* Site decoration */
div.copyright {
  background: navy;
  border-top: blue solid;
  color: white;
  font-size: 80%;
  padding: 0.5ex 1em;
  text-align: right
}
div.copyright p {
  margin: 0;
  padding: 0
}
/* Main page layout and styling */
div.page {
  margin-top: 64px;
  border-top: blue solid
}
div.section {
  clear: both;
  float: left;
  width: 80%
}

/* Nagivation tools */
div.links {
  float: right;
  padding-bottom: 40px;
  width: 20%
}
div.links h1, div.links h2, div.links h3, div.links h4, div.links h5 {
  font-size: 100%;
  border-bottom: 1pt blue solid
}
div.links ul {
  font-size: 80%;
  margin: 0;
  padding: 0
}
div.links li {
  display: block;
  margin: 0;
  padding: 0;
}
div.links a {
  color: maroon;
  display: block;
  text-decoration: none;
  padding: 0.2ex 1em
}
div.links a:hover {
  background: maroon;
  color: white
}
div.navback {
  clear: both;
  height: 0ex
}
div.navback ul {
  position: relative;
  text-align: right;
  top: -32px
}
div.navback li {
  display: inline;
  padding: 0 0.25em
}

/* Site decoration */
hr.end {
  display: none
}
div.banner {
  background-image: url(../img/banner.png);
  background-repeat: no-repeat;
  height: 64px;
  left: 0;
  margin: 0 0.5em;
  position: absolute;
  top: 0;
  width: 95%
}
div.banner ul {
  display: block;
  position: relative;
  text-align: right;
  top: 64px;
  width: 100%
}
div.banner li {
  background: navy;
  display: inline;
  padding: 0.2ex 1em;
  position: relative;
  top: -5ex
}
div.banner a {
  color: white;
  text-decoration: none
}
div.banner a:hover {
  text-decoration: underline
}