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;
    font-family: verdana, helvetica, arial, sans-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.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 {
    font-size:      0.7em;
    text-align:     left;
    margin:         0px;
    padding:        0px;
}

.copyright {
    font-size:      0.7em;
    text-align:     right;
    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;
}

#header {
    font-family:    sans-serif;
    font-size:      12px;
	color: white;
	background-color: #488214;
}

#headerTitle {
  font-size: 337%;
  font-weight: normal;
  position: relative;
  margin: 0 0 0 4mm;
  padding: 0.25ex 0;
}

#headerTitle a {
	color: white;
	text-decoration: none;
}

div.subHeader {
  color: white;
  background-color: #99D365;
  margin: 0;
  padding: 1ex 1ex 1ex 1.5mm;
}

div.subHeader .subHeaderTitle {
  color: white;
  font-size: 200%;
  font-weight: normal;
  text-align: center;
  position: relative;
  margin: 0 0 0 4mm;
  padding: 0.25ex 0;
}

div.subHeader .subHeaderSubTitle {
  color: white;
  font-size: 150%;
  font-weight: normal;
  text-align: center;
  position: relative;
  margin: 0 0 0 4mm;
  padding: 0.25ex 0;
}

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

div.navfooter table {
	color: white;
	background-color: #488214;
	margin: 0;
	padding: 1em 2.5mm 2.5ex 2.5mm;
	clear: both;
}

div.subHeader a, .navfooter a {
  color: white;
  background-color: transparent;
  text-decoration: underline;
  margin-top: 0pt; 
  margin-right: 0pt;
  margin-bottom: 0pt;
  margin-left: 0pt;
  padding-top: 0.75em;
  padding-right: 1ex;
  padding-bottom: 0.75em;
  padding-left: 5mm;
  display: block;
}

div.subHeader a:hover, .navfooter a:hover {
  font-weight:bold;
}

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;
}