html {
  padding: 0pt;
  margin: 0pt;
}

body {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 10%;
  margin-right: 10%;

  font-family: Times, Times New Roman, serif;
}

div {
  margin: 0pt;
}

p {
  text-align: justify;
  margin-bottom: .6em;
  line-height: 1.2;
}

hr {
  margin-top: .6em;
  margin-bottom: .6em;
  margin-left: 0pt;
  margin-right: 0pt;
  border: 1px solid gray;
  background: gray;
}

h1, h2, h3, h4, h5 {
  color: #525D76;
}

a {
  text-decoration: underline;
  color: black;
}

a:hover {
  text-decoration: underline;
  color: black;
}

h1, h2, h3, h4, h5 {
  line-height: 1.3;
  margin-top: 1.5em;
  font-family: Arial, Sans-serif;
}

h1.title {
  text-align: left;

  margin-top: 2em;
  margin-bottom: 2em;
  margin-left: 0pt;
  margin-right: 0pt;
}

h2.subtitle, h3.subtitle {
  text-align: left;
  margin-top: 2em;
  margin-bottom: 2em;
  text-transform: uppercase;
}

h3.author, p.othercredit {
  font-size: 0.9em;
  font-weight: normal;
  font-style: oblique;
  text-align: left;
  color: #525D76;
}

div.titlepage {
}

div.section {
}

div.authorgroup {
  text-align: left;
  margin-bottom: 3em;
  display: block;
}

div.toc, div.list-of-examples, div.list-of-figures {
  font-size: 0.8em;
  margin-bottom: 3em;
}

div.itemizedlist {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

ol, ul {
}

li {
}

pre {
  margin: .75em 0;
  line-height: 1.0;
  color: black;
}

pre.programlisting {
  font-size: 9pt;
  padding: 5pt 2pt;
  border: 1pt solid black;
  background: #eeeeee;
}

div.table {
  margin: 1em;
  padding: 0.5em;
  text-align: center;
}

div.table table {
  display: block;
}

div.table td {
  padding-right: 5px;
  padding-left: 5px;
}

div.table p.title {
  text-align: center;
  margin-left: 5%;
  margin-right: 5%;
}

p.releaseinfo, .copyright {
  font-size: 0.7em;
  text-align: left;
  margin: 0px;
  padding: 0px;
}

div.note, div.important, div.example, div.informalexample, div.tip, div.caution {
  margin: 1em;
  padding: 0.5em;
  border: 1px solid gray;
  background-color: #f8f8e0;
}

div.important th, div.note th, div.tip th {
  text-align: left;
  border-bottom: solid 1px gray;
}

div.navheader, div.navheader table {
  font-family: sans-serif;
  font-size: 12px;
}

div.navfooter, div.navfooter table {
  font-family: sans-serif;
  font-size: 12px;
}

div.figure {
  text-align: center;
  margin-top: 1em;
  margin-bottom: 1em;
}

div.figure p.title {
  text-align: center;
  margin-left: 15%;
  margin-right: 15%;
}

div.example p.title {
  margin-top: 0em;
  margin-bottom: 0.6em;
  text-align: left;
  padding-bottom: 0.4em;
  border-bottom: solid 1px gray;
}

div.figure img {
  border: 1px solid gray;
  padding: 0.5em;
  margin: 0.5em;
}

div.revhistory {
  font-size: 0.8em;
  width: 90%;
  margin-left: 5%;
  margin-top: 3em;
  margin-bottom: 3em;
}

div.revhistory table {
  font-family: sans-serif;
  font-size: 12px;
  border-collapse: collapse;
}

div.revhistory table tr {
  border: solid 1px gray;
}

div.revhistory table th {
  border: none;
}