.RE-Doc body.RE-Doc {
  color: #404040;
  max-width: 1024px;
  line-height: 1.2em;
  text-align: justify;
}

.RE-Doc a.aname {
  position: relative;
  display: block;
  visibility: hidden;
  padding-top: 28px;
  margin-top: -28px;
}

.RE-Doc div.header {
  font-size: 130%;
  font-weight: bold;
  color: #FFFFFF;
  background-color: #909090;
  border-radius: 5px;
  padding: 5px;
  text-shadow: 0px 1px 1px black;
}

.RE-Doc div.buttoncontainer {
  width: 260px;
  padding: 5px;
  text-align:center;
  background-color: #7070C0;
  border: 1px solid black;
  border-radius: 5px;
}

.RE-Doc button.contained {
  font-size: 14px;
  width: 100%;
}

.RE-Doc h1 {
  margin-top: 20px;
  font-size: 115%;
  font-weight: bold;
  color: #FFFFFF;
  background-color: #B0B0B0;
  border-radius: 4px;
  margin: 20px 0px 20px 0px;
  padding: 4px;
  text-shadow: 0px 1px 1px black;
}
.RE-Doc h2 {
  font-size: 110%;
  font-weight: bold;
/*
  color: #FFFFFF;
*/
  background-color: #F0F0F0;
  border-radius: 3px;
  border: 1px solid #C0C0C0;
  margin: 15px 10px 10px 10px;
  padding: 3px;
/*
  text-shadow: 0px 1px 1px black;
*/
}
.RE-Doc h3 {
  font-size: 105%;
  font-weight: bold;
  color: #303030;
}

.RE-Doc ul {
  padding-left: unset;
  padding-inline-start: 20px;
  margin: 10px 0px 10px 0px;
  list-style-type: square;
}
.RE-Doc ul.optional {
  list-style-type: circle;
}
.RE-Doc ol {
  margin: 10px 0px;
}
.RE-Doc li {
  margin: 8px 4px;
}

.RE-Doc div.content {
  margin-left: 10px;
  padding-left: 10px;
  border: 0px;
  border-left: 1px solid #D0D0D0;
}
.RE-Doc span.api {
  font-style: italic;
  font-weight: bold;
}
.RE-Doc span.note {
  color: #D00000;
}
.RE-Doc span.important {
  background-color: #000000;
  color: yellow;
  padding: 0px 4px 0px 4px;
  border-radius: 3px;
  font-weight: bold;
}

.RE-Doc code {
  font-family: monospace;
  color: #FFFFFF;
  background-color: #B94200;
}
.RE-Container code a {
  color: #FFFFFF;
}

.RE-Doc table.bordered {
  border: 1px solid #404040;
  border-collapse: collapse;
}
.RE-Doc tr.bordered td {
  border-top: 1px dotted #C0C0C0;
  padding: 2px;
  vertical-align: top;
}
.RE-Doc td.header {
  background-color: #B0B0B0;
  padding: 2px;
  color: #FFFFFF;
  font-weight: bold;
  text-shadow: 0px 1px 1px black;
  border-bottom: 1px solid black;
}
.RE-Doc td.key {
  font-weight: bold;
}
.RE-Doc td.default {
  font-style: italic;
}
.RE-Doc td.values {
  font-family: monospace;
}
.RE-Doc td.format {
  white-space: nowrap;
  font-family: monospace;
}