img {
    pointer-events: none;
    }

body {
  background: white;
  color: black;
  font-family: helvetica,arial,sans-serif;
  margin: 0em;
  padding: 0em;
  border-width: 0px;
}

a {
  background: transparent;
  color: #1048cd;
  text-decoration: none;
  font-weight: bold;
}

a:hover {
  background: transparent;
  color: black;
  font-weight: bold;
  text-decoration: underline;
}

a.top { 
  float: right;
  text-align: right;
  margin-right: 0.3em;
  margin-top: -1.1em;
}


div.figure {
  text-align: center;
  padding: 0em;
}

div.figure p {
  text-align: center;
  font-style: italic;
/*  font-size: smaller; */
  text-indent: 0;
}


h1 {
  background: #d8e7ff;
  border-color: #85b3ff;
  color: #1048cd;
  border-style: solid;
  border-width: 1px;
  padding: 0.3em;
  margin-bottom: 1.8em;
  font-weight: bold;
  font-size: 150%;
  text-align: center;
  clear: left;
}

h2 {
  background: #d8e7ff;
  border-color: #85b3ff;
  color: black;
  border-style: solid;
  border-width: 1px;
  padding: 0.4em;
  margin-bottom: 1em;
  font-weight: bold;
  font-size: 120%;
  text-align: left;
  clear: left;
  margin-top: 3em;
}

h3 {
  color: black;
  font-weight: bold;
  text-align: center;
  clear: center;
  margin-top: 3em;
}

h4 {
  font-weight: bold;
  clear: both;
  font-size: 110%;
}

h5 {
  font-weight: bold;
  clear: both;
  font-size: 100%;
}


p {
  margin: 1.33em 0em;
  margin-left: 2.5em;
  margin-right: 2.5em;
  text-align: justify;
}


li {
  margin-left: 2.5em;
  margin-right: 2.5em;
}

li p {
  margin: 0em;
}

.list li {
  padding-bottom: 1.2em;
}

.list p {
  margin: 0 0 0 0;
}

pre.code {
  color: black;
  background: #d8e7ff;
  border: solid 1px black;
  font-family: monospace;
  white-space: pre;
  margin: 1.33em 0px;
  margin-left: 2.5em;
  margin-right: 2.5em;
  margin-bottom: 2.5em;
  padding: 1.33em;
}

pre.debug {
  color: black;
  background: #ddddff;
  border: solid 2px black;
  font-family: monospace;
  white-space: pre;
  margin: 1.33em 0px;
  margin-left: 2.5em;
  margin-right: 2.5em;
  padding: 1.33em;
}


pre.text {
  color: black;
  background: #ddddff;
  font-family: monospace;
  white-space: pre;
  margin: 1.33em 0px;
  margin-left: 2.5em;
  margin-right: 2.5em;
  padding: 1.33em;
}


#menu {
  background: #d8e7ff;
  color: black;
  border-style: solid;
  border-color: #85b3ff;
  border-width: 0px 1px 0px 0px;
  padding: 0.6em;
  padding-left: 1em;
  padding-right: 1em;
  font-weight: bold;
  vertical-align: top;
  white-space: nowrap;
}

#menu a {
  display: block;
  padding: 0.1em;
}

#menu a.sub {
  display: block;
  padding-left: 1em;
  font-size: 90%;
  padding-top: 0.01em;
}


#menu p {
  display: none;
}


#main {
  padding: 0.8em;
  vertical-align: top;
  background: white;
}


#bottombar, #navbar {
  clear: both;
  background: #d8e7ff;
  color: black;
  border: solid #85b3ff;
  border-width: 1px 0px 1px 0px;
  padding: 0.1em;
  font-weight: bold;
  text-align: center;
}

#footerleft {
  float: left;
  padding: 1.2em;
}

#footerright {
  float: right;
  padding: 1.2em;
}



#titlebarleft {
  float: left;
  padding-left: 1.2em;
}

#titlebarright {
  float: right;
  padding-left: 1.2em;
}