ul.nav {
  border-bottom: 1px solid #667abe;
  border-top: 1px solid #667abe;
  padding: 5px 18px 5px 18px;
  margin: 6px 0 -1px 0;
  text-align: center;
  font-size: 11px;
  line-height: 18px;
}

ul.nav li {
  margin: 0 9px 0 9px;
  display: inline;
}

ul.nav li.fineprint {
  float: left;
  color: #999999;
  margin: 0;
}

ul.nav li.switchlang {
  float: right;
  color: #999999;
  margin: 0;
  border: 0;
}

ul.nav a, ul.nav a.visited {
  color: navy;
  text-decoration: none;
}

body {
  margin: 0;
  font-family: "Dejavu Sans", "BitStream Vera Sans", Verdana, sans-serif;
  background-color: white;
  color: black;
}

body, table caption, h3, dt, div.fnsyntax {
  font-size: 13px;
  line-height: 18px;
}

.text, div.fnsyntax, pre.code, ul, ol, label {
  margin-bottom: 18px;
  margin-top: 0;
}

h3, h4, h5, h6, .text, div.fnsyntax, pre.code, dt, ul, ol, label {
  margin-left: 18px;
  margin-right: 2%;
}

.alertBoxPreDescription {
  border: solid rgb(227, 30, 30);
  border-radius: 1em;
  background: rgba(215, 13, 13, 0.44);
  padding: 0.5em;
  margin-bottom: 18px;
}

div.example {
  margin-bottom: 36px;
}

dd {
  margin: 0;
}

img:not(ul.nav img) {
  margin-right: 6px;
  vertical-align: text-bottom;
}

img#cpem {
  float: left;
  margin: 0 6px 6px 18px;
}

h1, h2 {
  font-weight: bold;
  padding: 0 2% 0 18px;
  margin-bottom: 18px;
  text-indent: 0;
  border-bottom: 1px solid #667abe;
  /*CR-red: #c91603*/
}

h1 {
  font-size: 24px;
  line-height: 35px;
  margin-top: 18px;
}

h2 {
  font-size: 18px;
  line-height: 17px;
  margin-top: 0;
}

h3, dt, table caption {
  text-align: left;
  font-weight: bold;
  margin-bottom: 0;
  margin-top: 0;
}

h4 {
  font-size: 12px;
  font-weight: bold;
  line-height: 18px;
}

table {
  border: 1px solid #667abe;
  border-spacing: 0;
  border-collapse: collapse;
  font-size: 11px;
  margin-bottom: 17px;
  margin-top: 0;
}

th, td {
  padding: 0 6px;
  text-align: left;
  vertical-align: top;
  margin: 0;
  border: 0;
}

th {
  font-weight: bold;
}

tr.dark, th {
  color: black;
  background-color: #f4f4f0;
}

tr.mark, tr.darkmark {
  background-color: Highlight;
  color: HighlightText;
}

input {
  border-width: 2px;
  line-height: 18px;
  padding-top: 1px;
  padding-bottom: 0;
  margin: 0;
  vertical-align: 2px;
}

div.fnsyntax {
  text-indent: -18px;
  margin-left: 36px;
}

code, div.fnsyntax, pre.code {
  font-family: "Dejavu Sans Mono", "BitStream Vera Sans Mono", Consolas, "Lucida Console", Monaco, monospace;
}

pre.code {
  display: block;
  white-space: -moz-pre-wrap; /* Gecko */
  white-space: -pre-wrap; /* Opera 4 - 6 */
  white-space: -o-pre-wrap; /* Opera >= 7 */
  white-space: pre-wrap; /* CSS2.1 */
  word-wrap: break-word; /* IE 5.5+ */
  padding: 8px;
  border: 1px dashed #667abe;
  color: black;
  background-color: #f4f4f0;
  tab-size: 2em;
}

span.type, code b, pre.code b {
  font-weight: bold;
  color: navy;
  background-color: transparent;
}

code i.string, pre.code i.string {
  font-style: normal;
  color: green;
  background-color: transparent;
}

div.author {
  text-align: right;
  font-style: italic;
  margin-right: 36px;
}

.strikeout {
  position: relative;
}

.deprecatedComment {
  z-index: 100;
  background-color: rgba(57, 55, 55, 0.8705882353);
  border: 1px solid black;
  color: white;
  top: 25px;
  left: 20px;
  border-radius: 1em;
  padding: 3px 1em;
}

.strikeout:hover span.deprecatedComment {
  display: block !important;
}

tr.strikeout td:before {
  content: " ";
  position: absolute;
  top: 50%;
  left: 0;
  border-bottom: 1px solid #111;
  width: 100%;
}

.bitmaskTable {
  margin-bottom: 2em;
}

.bitmaskTable > table > tbody {
  cursor: pointer;
}

.bitmaskTable > label > input {
  margin-right: 1em;
}

.bitmaskTable > label > a > img {
  height: 1em;
}

.bitmaskTable > table > thead > tr > th:nth-child(4) {
  min-width: 8em;
}

/*# sourceMappingURL=doku.css.map */
