html, body {
   font-family: Arial, Helvetica, sans-serif;
   color: #402002;
   margin: 0px;
   background-color: #eeeeee;
}
p {
  padding-left: 8px;
  padding-right: 8px;
}
ul {
  text-align: left;
}
a:link {
  text-decoration: underline;
  color: #138aef;
}

a:visited {
  color: #0e68b4;
  text-decoration: underline;
}

a:link:hover {
  color: #14c9fb;
  font-weight: bold;
}

p {
  text-align: justify;
}

h1 {
  background-color: #aad3f6;
  color: #402002;
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 1.6em;
}
h2 {
  margin-top: 0px;
  margin-bottom: 0px;
  color: #402002;
  background-color: #aad3f6;
  font-size: 1.5em;
}
h3 {
  color: #2e5372;
  font-size: 1.4em;
}
h4 {
  color:#517798;
  font-size: 1.3em;
}
h5 {
  font-size: 1.2em;
}
PRE {
  background-color: #c9e1f6;
}
div.fullframe {
  border-style: none;
  background-color: #eeeeee;
  margin-left: 8px;
  margin-right: 8px;
}
div.tagline {
 width: 100%;
 text-align: left;
}
#transp {
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  color: #f0f0f0;
  margin: 10px;
  background-color: #ffffff;
  float: none;
  position: absolute;
  left: 350px;
  z-index: 2;
}
div.maintitle {
 width: 100%;
 background-color: #f0f0f0;
 text-align: left;
 border-style: solid;
 border-width: 1px;
 font-weight: bold;
 padding: 1px;
}
a.menubar {
  color: #2e5372;
  border-width: 0px;
  border-style: none;
  text-align: center;
  font-weight: bold;
  padding: 4px;
}

a.menubar:hover {
  color: #4b88bb;
}
div.menu {
 width: 100%;
 padding: 0px;
 text-align: left;
 border-width: 0px;
 border-style: none;
}
table.menubar {
  color: #4b88bb;
  border-width: 0px;
  border-style: none;
  text-align: center;
  font-weight: bold;
  padding: 4px;
}
div.sect1 {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.chapter {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.chapter div.sect1 {
/* padding: 1px;*/
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
/* border-width: 1px;*/
 border-style: none;
/* border-color: #000000;*/
/* background-color: #ffffff;*/
/* text-align: left;*/
}
div.book {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.section {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.preface {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.preface div.section {
 border-style: none;
}
div.appendix {
 padding: 1px;
 margin-top: 8px;
 margin-bottom: 8px;
 margin-left: 4px;
 border-width: 1px;
 border-style: solid;
 border-color: #000000;
 background-color: #ffffff;
 text-align: left;
}
div.appendix div.sect1 {
 border-style: none;
}
span.guibutton {
 border: solid gray 1px;
 padding: 1px;
}
span.guibutton:hover {
 background-color: yellow;
}
span.guimenu {
 font-weight: bold;
}
span.guimenuitem {
 font-weight: bold;
}
b.keycap {
 border: solid gray 1px;
 padding: 1px;
}

div.googleAds {
 width: 728px;
 height: 90px;
 background-color: white;
 text-align: center;
 border: solid black 1px;
 margin-left: auto;
 margin-right: auto;
 margin-bottom: 2px;
}
div.googleAdsCont {
 width: 100%;
 margin-left: 0px;
 margin-right: 0px;
 margin-bottom: 2px;
 margin-top: 0px;
 padding-bottom: 2px;
 background-color: black;
}