html {
  background: rgb(240,240,240);
}

body {
  font-family: sans-serif;
  background: white;
  color: black;
  font-weight: normal;
  padding-left: 3%;
  padding-right: 3%;
  display: block;
  margin-right: 25%;
  border: 1px solid rgb(63,83,43);
}

h1 {
  color: rgb(63,83,43);
  padding: 2%;
  text-align: center;
  font-weight: normal;
}

p.about {
  text-indent: 0%;
  font-size: 75%;
  text-align: center;
  font-variant: normal;
  }

h2 {
  color: rgb(63,83,43);
  font-weight: normal;
}

h3 {
  color: rgb(63,83,43);
  font-weight: normal;
}

h4 {
  color: rgb(63,83,43);
  font-weight: normal;
}

p {
  margin-left: 0.25%;
  line-height: 1.3;
  text-indent: 5%;
  font-size: 90%;
  padding: 0%;
}

.listofnavigation {
  position: absolute;
  top: 0%;
  right: 1%;
  bottom: auto;
  left: auto;
  width: 20%;
  background: white;
  font-size: 75%;
  margin-right: 1%;
  padding-top: 1%;
  background: rgb(240,240,240);
}

.listofnavigation a {
  color: black;
}

.listofnavigation a:hover {
  color: rgb(63,83,43);
}

.listofnavigation ul {
  list-style: square inside;
  margin: 1%;
  padding: 1%;
  color: black;
}

.listofnavigation ul li {
  color: black;
}

.listofnavigation h2 {
  color: rgb(63,83,43);
  font-weight: thin;
}

.listofnavigation h4 {
  border-bottom: 1px solid black;
  color: rgb(92,122,52);
  margin: 2%;
}

p.code {
  text-indent: 0%;
  font-family: monospace;
  text-indent: 0%;
  line-height: 1;
  }

pre {
  font-family: monospace;
  margin-top: .75em;
  margin-bottom:  .75em;
  padding-top:  0;
  padding-bottom: 0;
  border-top: 0;
  border-bottom:  0;
  line-height:  1.25em;
  }

pre.code {
  background: rgb(210, 255, 113);
  }

pre.input {
  background: rgb(255, 255, 10);
  }

pre.output {
  background: rgb(255, 197, 89);
  }

div.object {
  margin: 1%;
  width: 25%;
  }

div.object[float=right] {
  float: right;
  }

div.object[float=left] {
  float: left;
  }

div.object p {
  margin-top: -2%;
  margin-bottom: -2%;
  font-size: 80%;
  font-style: italic;
  text-align: left;
  }