body {
  padding: 0em 1em 0em 1em;
  margin: 1em;
  font-family: sans-serif;
/*   font-family: liberation sans, sans-serif; */
  color: black;
/*   background: #a6a6a6; */
  background: #ffffff;
  background-position: top left;
  background-attachment: scroll;
/*   background-repeat: both; */
/*   background-image: url("star-tangle3.png"); */
  background-image: url("hexagons_left_cropped.png");
  background-size: 250px;
/*   background-image: url("bg-pattern2d.png"); */
  background-repeat: repeat-y;
/*   background-image: url("bgr.png"); */
/*   text-align: justify; */
}
h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3 { color: #004 }
/* h1 { font: 170% sans-serif; letter-spacing:+0.05ex; color:#444; padding-bottom:.1ex; border-bottom: dashed 1px red } */
/* h1 { font: 170% sans-serif; letter-spacing:+0.05ex; color:#a44; padding-bottom:.1ex; border-bottom: dashed 1px red } */
/* h1 { font: 170% sans-serif; letter-spacing:+0.05ex; color:#000; padding-bottom:.1ex; border-bottom: dashed 1px red } */
h1 { font: 170% sans-serif; letter-spacing:+0.05ex; color:#000; padding-bottom:.1ex }
h2 { font: 140% sans-serif }
/* h3 { font: 110% sans-serif; font-weight: bold; letter-spacing:-0.05ex; border-bottom:solid thin; border-color: black; margin-top:2em } */
h3 { font: 110% sans-serif; font-weight: normal; color: white; letter-spacing:+0.05ex; margin-top:2em; margin-bottom: 0px; padding: 4px; padding-left: 1em; background: #62ba62; box-shadow: 2px 2px 2px 0px #333; }
/*.nav_outer { margin-top: 1em; margin-bottom: 1em; margin-right: 10em; background: #aaa; box-shadow: 2px 2px 2px 0px #333; }
.nav_inner { margin-right: 1em; font: 110% sans-serif; text-align: center; font-weight: normal; color: white; letter-spacing:+0.05ex; padding: 4px; background: #62ba62; box-shadow: 2px 2px 2px 0px #333; }*/
.nav_outer { margin-top: 1em; margin-bottom: 1em; margin-right: 10em; background: #aaa; font-weight: normal; color: white; letter-spacing:+0.05ex; box-shadow: 2px 2px 2px 0px #333; }
/* .nav_outer { margin-top: 1em; margin-bottom: 1em; margin-right: 10em; background: #aaa; font-weight: normal; color: black; letter-spacing:+0.05ex; box-shadow: 2px 2px 2px 0px #333; } */
.nav_inner { padding-left: 4px; padding-right: 4px; margin-right: 1em; font: 110% sans-serif; text-align: center; font-weight: normal; color: white; letter-spacing:+0.05ex; background: #62ba62 }
/*.nav_outer { margin-top: 1em; padding: 0px; background: #aaa; box-shadow: 2px 2px 2px 0px #333; }
.nav_inner { font: 110% sans-serif; text-align: center; color: white; letter-spacing:+0.05ex; background: #62ba62; box-shadow: 2px 2px 2px 0px #333; }*/
/* ; border-top: solid 1px; border-color:#494 */
/* h4 { font: bold italic 100% sans-serif; color: #373737; background:#e0e0e0; padding: 1px; } */
h4 { font: bold 100% sans-serif; color: #373737; padding: 1px; border-bottom: dotted 3px; margin-bottom: 1ex; border-color: #a0a0a0 }
h5 { font: bold 100% sans-serif }
h6 { font: small-caps 100% sans-serif }
p { padding-top: .0ex; margin-top: 0.0ex}

.hide { display: none }

p > A:link {text-decoration: none; color: #c66b5a}
p > A:visited {text-decoration: none; color: #a64b3a}
p > A:active {text-decoration: none; color: #9c007a}
p > A:hover {text-decoration: underline; color: black}

A:link {text-decoration: none}
A:visited {text-decoration: none}
A:active {text-decoration: none}
A:hover {text-decoration: underline}


div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
div.toc { margin-left: 2em }
div.tocbg { padding: 1em; border: solid thin; margin: 2em 0; border-color: black; background: #efefef }
/* div.ind0 { padding: 1em; border-left: solid 4px; border-color: #62ba62; margin-top: -0em } */
/* div.ind0 { padding: 1em; border-left: solid 4px; border-color: #62ba62; margin-top: -0em; background: #efefef; box-shadow: 2px 2px 2px 0px #333; } */
div.ind0 { padding: 1em; border-left: solid 4px; border-color: #62ba62; margin-top: -0em; background: #efefef; box-shadow: 2px 2px 2px 0px #333; }
/* div.ind1 { padding-left: 1em; border-left: solid 4px; border-color: #3e8e3e } */
div.ind  { padding-left: .5em; padding-right: .5em }

div.imgfix { margin: 5px; text-align: center; padding: 4px; background-color:#999 }
div.imgfloat { float: right; margin: 5px; padding: 4px; background-color:#999 }
div.imgfloatl { float: left; margin: 5px; padding: 4px; background-color:#999 }
div.imgfloatr { float: right; margin: 5px; padding: 4px; background-color:#999 }

/* top right bottom left */

/* div.navlink { position: absolute; left:700px; width:180px; background: #606060; padding:.9ex; border: solid 1px; border-color: black; box-shadow: 3px 3px 3px 0px #222;  color: white; letter-spacing:+0.05ex; text-align: center} */
/* div.navlink { position: absolute; right:0px; width:180px; background: #606060; padding:.9ex; border: solid 1px; border-color: black; box-shadow: 3px 3px 3px 0px #222;  color: white; letter-spacing:+0.05ex; text-align: center} */
/* div.navlink { width:100%; margin: 0px; margin-top: 10px; background: #606060; padding:.7ex 0ex .7ex 0ex; border-top: solid 1px; border-bottom: solid 1px; border-color: black; box-shadow: 3px 3px 3px 0px #222;  color: white; letter-spacing:+0.05ex; text-align: center} */
/* div.navlinka,div.navlinkb { width:100%; margin: 10px 0px 0px 0px; padding:.7ex 0ex .7ex 0ex; border-top: solid 1px; border-bottom: solid 1px; border-color: black; color: white; letter-spacing:+0.05ex; text-align: center} */
/*div.navlinka,div.navlinkb { float:left; width:200px; margin: 10px 0px 0px 0px; padding:.7ex 0ex .7ex 0ex; border-top: solid 1px; border-bottom: solid 1px; border-color: black; color: white; letter-spacing:+0.05ex; text-align: center}
div.navlinka { background: #d06060}
div.navlinkb { background: #606060}*/
div.navlinka,div.navlinkb { float: left; width:200px; margin: 10px 0px 0px 0px; padding:.7ex 0ex .7ex 0ex; border-top: solid 1px; border-bottom: solid 1px; border-color: black; color: white; letter-spacing:+0.05ex; text-align: center}
div.navlinka { background: #d06060}
div.navlinkb { background: #606060}

span.note{ font-size:80% }


pre { margin-left: 2em; font-family: monospace}
/* emph { font-style: italic; color: #a00000 } */
emph { font-style: italic }

li { margin-top: 0.3em }

.shadow {
   -moz-box-shadow: 6px 6px 4px 0px #555;
   -webkit-box-shadow: 6px 6px 4px 0px #555;
   box-shadow:  6px 6px 4px 0px #555;
}

/* delta-horiz, delta-vert, blend-width*/
.shadow1 {
   -moz-box-shadow: 0px 5px 5px 0px #555;
   -webkit-box-shadow: 0px 5px 5px 0px #555;
/*    box-shadow:  0px 5px 5px 0px #555; */
   box-shadow:  3px 5px 20px 0px #000;
}