@charset "UTF-8";
/* GENERATED FILE: DO NOT EDIT */



* {
  padding: 0;
  border: 0;
  text-decoration: inherit;
  color: inherit;
  font-style: inherit;
}

html {
  text-align: justify;
}

body {
  text-indent: 0ex;
  line-height: 1.4;
  background-color: #fffdfa;
  color: #000;
  padding: 2ex 2% 10ex 7%;
  background-repeat: repeat-y;
}
li, dt, dd{
  margin: 0.7ex 0;
}
dd {
  margin-left: 4ex;
}
code, var, kbd, samp, span, em, strong, dfn, input, select {
  margin: 0 0.3ex;
}
pre code, pre kbd, pre samp, pre em, pre strong, pre span,
code var, kbd var, samp var,
code em, kbd em, samp em,
code strong, kbd strong, samp strong,
code span, kbd span, samp span,
em code {
  margin: 0;
}

ul, ol {
  margin-left: 5%;
}
ul {



  list-style-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAkAAAAJCAIAAABv85FHAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1wMVDTQBJ30LeAAAABl0RVh0Q29tbWVudABDcmVhdGVkIHdpdGggR0lNUFeBDhcAAABkSURBVAjXfc4xCgAhDETRiSmsxCOI4P2vJVhFqzSarVwtlv3tY2Bgu9ZaKcWuHHZEJCK4OsbMc85vc86ttW6jlFLvHYCZjTFijMdExMwAqGrOudZ6hu8rVfXef//8+8LMIYTbHiWGUQoCQSdDAAAAAElFTkSuQmCC");

}
ol {
  list-style-image: none;
}

ul.graph {
  list-style-type: none;
  list-style-image: none;
}



h1, h2, h3, h4, h5, h6 {
  line-height: 1.1;
}

h1 {
  text-align: right;
  font-size: 250%;
  padding: 2ex 3%;
  border-width: thin;
  border-color: #000;
  border-style: solid solid solid none;
  margin: 2ex 0% 2ex -5%;
}
h2 {
  text-align: center;
  font-size: 135%;
  padding: 0.5ex;
  margin: 8ex 5% 5ex 0%;
  color: #440;
}
h3 {
  font-size: 125%;
  border-bottom: solid thin #448;
  padding-left: 5%;
  margin-right: 50%;
  margin-left: -7%;
  margin-top: 2em;
  margin-bottom: 1.5em;
}
h4 {
  font-size: 110%;
  margin-left: -1.5%;
}
h5 {
  font-size: 95%:
  margin-left: 7%;
}
h6 {
  font-size: 75%;
  margin-left: 8%;
}


kbd, strong.command {
  font-style: italic;
  text-decoration: none;
  font-weight: normal;
}
em {
  font-weight: bold;
}
pre em {
  font-weight: normal;
  color: #c22;
}
strong {
  text-decoration: underline;
}
code {
  font-family: monospace;
  font-size: 90%;
}
a {
  text-decoration: underline;
}
a:link {
  color: #040;
}
a:visited {
  color: #484;
}


p {
}


pre, div.psudocode {
  line-height: 110%;
  border-left: solid thin #000;
  padding: 0.5ex 1ex;
  overflow: auto;
  margin-left: 1ex;
}

del {
  text-decoration: line-through;
}

ins {
  text-decoration: overline;
}



input[type="text"], textarea {
  border: inset thin;
}

input[type="submit"], input[type="button"] {
  border: outset thin;
}

input[type="button"][disabled="disabled"] {
  color: #456;
}

select {
  background-color: #eef;
}



span.hs-comment {
  color: #a0c;
}

span.hs-keyword {
  color: #05c;
}

span.hs-keyglyph, span.hs-layout {
  color: #484;
}
body {
  padding-top 10ex;
  padding-bottom 20ex;
  position: relative;
}
em.replaceable {
  color: #f00;
  font-family: sans-serif;
}
div.navheader, div.navfooter {
  position: absolute;
  left: 0;
  right: 0;
  padding: 0;
}
div.navheader {
  top: 0;
}
div.navfooter {
  bottom: 0;
  top: auto;
  margin-bottom: 1ex;
}
ul.navi {
  padding: 0;
  margin: 0;
  font-size: 0;
}
ul.navi li {
  position: absolute;
  display: block;
  width: 60px;
  height: 20px;
  margin: 0;
}
ul.navi li.prev {
  top: 40px;
  left: 10px;
}
ul.navi li.up {
  position: static;
  margin-left: auto;
  margin-right: auto;
  width: 20px;
  height: 60px;
}
ul.navi li.next {
  top: 40px;
  right: 0px;
}
ul.navi li a {
  text-decoration: none;
}
ul.navi li.prev a span {
  visibility: hidden;
}
ul.navi li.prev a:after {
  content: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADgAAAAPCAIAAAA+m5tcAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1wMUBgUJWxIMfAAAABl0RVh0Q29tbWVudABDcmVhdGVkIHdpdGggR0lNUFeBDhcAAAFlSURBVEjH1ZaxroIwFIZb0q0DiRJNYGSFSVZGJ5+ACHHiEXgJJhcDb2F8AsLg7AuoXYxhMIaFMFDpHbjXNKKiN5erflv/c1L+Jqd/gYwxwJEkiSRJCCFeXCwWaZpOJhPQGhDCCyeXMI7dbocx9n2fFwkhnU4njmPWJhdOrjTwi+Fw6Hne6XQ6K3mea5o2m81adbnf758wGgTBYDCglPJl27Ydx2Ets16vVVV9yCghpNvtbrdbvhaGoa7rRVG8i1FKqWEY0+mUL6xWK0mSCCGsfR416vu+aZplWZ7Vw+Egy/J8Pmf/wiNGEYSw1+vFcZznOfwhiqLxeDwajSilZ7EKEfAivj+MMW6MjGoJa1QHuCUCAARBqLfxelmWx+Ox3+/f2tN13aaYvZu7dyKwLtaPXQ0bAIAQYlnWcrm81SyKIvrFE/LnA5BlGUJIUZQ7PQL4EN7F6Gaz+QCjGOPmkXv2Mr3q7+kLHntfcO3d7UgAAAAASUVORK5CYII=");
  visibility: visible;
}
ul.navi li.up a span {
  visibility: hidden;
}
ul.navi li.up a:after {
  content: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAA4CAIAAACtyzUIAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1wMUBgYnrOlScAAAABl0RVh0Q29tbWVudABDcmVhdGVkIHdpdGggR0lNUFeBDhcAAAF6SURBVEjH7ZW/joJAEMZnN/gPChM1JsZCE2tt1NLSt7D1EXgJbWyMvAOFPoMlBaGj0rXAaIwtaoTdtSBBTla8a85czq9iZ367zHwMWcQ5h69CCAFAPA4AGEQql8vj8ZhS+pjgMSmKYtt2r9frdDqEkGhKQMuy7LouY2wymRSLxdlslkTncrnT6RQ8r9frdrvd7/cdxxHT2Wz2fD6HS9/3VVVVFGW32wnoTCZzuVyiEUrpaDTyPE9Ap9NpXdePx2M8JXCQc24YRqvVsizrtYOpVOp6vc7n81KppGnaCwclSfI8j3NOCGk2m4PBIGxaXEnw8ev1ummaCKFut7vZbMSVYIwppdHIdDotFAqLxQLFpyegg+NDLZdLQsh36aczGNb9mk5A/y2drI+Df8zBn1WCMf5M1W91yRh7k98SAOz3e9d1g/XhcGCMrVarKCTLcqVSAYD7SxuNBgD4vr/dbmu1WpS+b364GBzHqVar/Ik+f/F76Xw+PxwOn9E3QIofl+iMZroAAAAASUVORK5CYII=");
  visibility: visible;
}
ul.navi li.next a span {
  visibility: hidden;
}
ul.navi li.next a:before {
  content: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADgAAAAPCAIAAAA+m5tcAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1wMUBgcDifGH4AAAABl0RVh0Q29tbWVudABDcmVhdGVkIHdpdGggR0lNUFeBDhcAAAFjSURBVEjH1ZYxjoJAFIZnyHY0BIwxtLRaSUtpzQX0GJzBhMrGaGJlTeEZOAGlDZHGEDBYWCAGHjNbYNgRV9yGFb6K/POHfC/wCJhSil6DMa4v/Bvc20YQBN0QjeO4A6KKoqB2wKGO8HU+ny+XC2YodqgAAE6nE8/zRchxHHtaKb9KasK/g+fz+WazoQwIofI6DENRFAs/SikhhD0ty2xeKdSEzwP8Os99SWgtiqK4rkubgRBCCMnzHACyLEvT1DAMy7Jut1uSJNfrNY7j/X7f7/c/LFpht9vJshxFETuJpmmmaVJK2yLqeV6v13Mchw0Xi4WqqgDQFtEsy0aj0Xq9ZsPD4SBJkud597e8DaKz2Ww6nbIJAIzH49Vq9bOO9bdACPm+36jlcrkcDodJkpRJnueGYUwmkweTt6KNWtq2LYpi+XwLTNPkef54PD58yz7797TdbgVB0HWdDQEgiqLBYMCG3xoPzjr4+05LAAAAAElFTkSuQmCC");
  visibility: visible;
}
ul.navi li.comment {
  position: absolute;
  bottom: 0;
  margin-left: 65%;
  margin-right: auto;
  font-size: medium;
  width: auto;
  text-decoration: underline;
}
dl.footnotes {
  border-top: solid thin #000 ;
  font-size: 90%;
  margin: 10ex 0% 10ex -5%;
}
dl.footnotes dt {
  float: left;
  clear: left;
  margin: 0;
  margin-top: 0.5ex;
  width: 5%;
}
dl.footnotes dd {
  float: left;
  margin: 0;
  padding: 0;
  margin-top: 0.5ex;
  width: 95%;
}
dl.footnotes p {
  margin: 0;
}
table {
  border-collapse: collapse;
  border-style: hidden;
}
th {
  padding: 0.2em 1em;
  border-style: none;
}
td {
  padding: 0.2em 1em;
  border-style: none;
}
div.toc dt, div.toc dd {
  margin-top: 0;
  margin-bottom: 0;
}