html, body {
  <!-- background-color: #ddffdd;
  margin:0px;
  padding:0px;
  height: 100%;
}
#header {
  background-color: white;
  width:10240px;
  height:128px;
  margin:0px;
  padding:0px;
}
#navigation_left {
  position: absolute;
  background-color: white;
  top: 128px;
  left: 0px;
  width: 120px;
  margin: 0px;
  padding: 0px;
  border-top: solid #006699 1px;
}
#navigation_pic {
  margin-top:0px;
  margin-left:0px;
  width:100px;
  height:120px;
}
#toc {
  position: absolute;
  background-color: white;
  top: 350px;
  left: 0px;
  width: 120px;
  margin: 0px;
  padding: 0px;
  border-top: solid #006699 1px;
}
#content {
  background-color: white;
  width:680px;
  margin-top:0px;
  margin-left:120px;
  border-top:solid white 1px;
}

/* SECTION Headings & Lists */
h1, h2, h3, p, ul, ol {
  font-family: Arial, Helvetica, sans-serif;
  margin-right: 20px;
  margin-left: 20px;
}
h1 {
  font-weight: bold;
  font-style: normal;
  font-size: 14px; /*alternative value used: medium*/
  line-heigt: 1.1em;
  color: #006600; /*previous value used: green*/
  border-bottom: green solid 1px;
  padding-bottom: 5px;
  padding-left: 25px;
  margin-top: 20px;
  background-color: #FFFFFF;
}
h2 {
  font-weight:bold;
  font-style:italic;
  font-size:14px;
  line-heigt:1.1em;
  color: #006600; /*previous value used: green*/
  padding-bottom:3px;
  padding-left:25px;
  margin-top:20px;
}
h3 {
  font-weight: bold;
  font-style: normal;
  font-size: small;
  line-heigt: 1.1em;
  color: #006600; /*previous value used: #006600, so this one was never green*/
  padding-bottom: 3px;
  padding-left: 25px;
  margin-top: 20px;
  font-family: Arial, Helvetica, sans-serif;
}
p {
  font-weight: normal;
  font-size: small;
  line-height: 1.1em;
  padding-left:25px;
  color: black;
}
p1 {

  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal;
  font-size: small;
  line-height: 1.1em;
  padding-left:25px;
  color: black;
}

ul, ol {
  padding-left:20px;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: normal;
  font-size: small;
  line-height: 1.1em padding-left:25px;
  color: black;

}


/* SECTION Tables */

td, th {
  font-family: Arial,Verdana,sans-serif;
  text-align: left;
  font-style: normal;
  font-size: small;
  line-height: 1.1em;
  color: black;
}
th {
  font-weight:bold;
}

/* 2022-04-05 [Redweik] added to section */
table {
  padding-left:25px;
}
thead {
  font-weight: bold;
  background-color: #88CC88;
}
tbody {
  background-color: #CCFFCC;
}
tbody.white {
  background-color: white;
}

/* 2022-04-05 [Redweik] added comment */
/* SECTION Navigation Bar */

a.navi, a.navi_first, a.navi_self, a.navi_x, a.navi_y, a.navi_z  {
  display:block;
  white-space:nowrap;
  overflow:hidden;
  border-left:1px solid black;
  border-right:1px solid black;
  border-bottom:1px solid black;
  font-family:Tahoma,sans-serif;
  font-size:11px;
  font-weight:bold;
  text-decoration:none;
  letter-spacing:0.1em;
  padding:3px;
  text-align:center;
}
a.navi_x2 {
  display:block;
  background-color:#006600;
  color:white;
  border-left:1px solid black;
  border-right:1px solid black;
  border-bottom:1px solid black;
  font-family:Tahoma,sans-serif;
  font-size:11px;
  font-weight:bold;
  text-decoration:none;
  letter-spacing:0.1em;
  padding:3px;
  text-align:left;
}
div.navi_x2 {
  border-top:1px solid black;
  display:block;
  background-color:white;
  color:black;
  border-left:1px solid black;
  border-right:1px solid black;
  border-bottom:1px solid black;
  font-family:Tahoma,sans-serif;
  font-size:11px;
  font-weight:bold;
  text-decoration:none;
  letter-spacing:0.1em;
  padding:3px;
  text-align:center;
}
a.navi_x2:hover, a.navi_x2:active {
  background-color:rgb(255,255,204);
  color:black;
}
a.navi_first {
  border-top:1px solid black;
}
a.navi:link, a.navi_first:link,
a.navi:visited, a.navi_first:visited {
  background-color:rgb(0,51,0);
  color:white;
}
a.navi:hover, a.navi_first:hover, a.navi_self:hover, a.navi_x:hover, a.navi_y:hover,
a.navi:active, a.navi_first:active, a.navi_self:active, a.navi_x:active, a.navi_y:active {
  background-color:rgb(255,255,204);
  color:black;
}
a.navi_x {
  background-color:#006600;
  color:white;
}
a.navi_y {
  background-color: grey;
  background: white;
  color: green;
}
a.navi_z {
  background-color: grey;
  background: white;
  color: black;
}
/* 2022-04-01 [Redweik] new ideas */

.bug-new {
  background-color: #ffcccc;
  text-align: center;
}
.bug-feedback {
  background-color: #ffccff;
  text-align: center;
}
.bug-acknowledged {
  background-color: #ffcc99;
  text-align: center;
  text-align: center;
}
.bug-confirmed {
  background-color: #ffff99;
  text-align: center;
}
.bug-assigned {
  background-color: #ddffcc;
  text-align: center;
}
.bug-review {
  background-color: #ccffff;
  text-align: center;
}
.bug-resolved {
  background-color: #ccddff;
  text-align: center;
}
.bug-closed {
  background-color: #cccccc;
  text-align: center;
}
.otto-code {
  font-family: Monospace;
}
/* copy-paste from fromer DE/index_de.htm: */
.xml    { background-color:lightyellow; margin:0.5em; padding:0.5em }
.otto   { background-color:RGB(185,255,218); width:99%;border:1px solid #4CAF50;          padding-left:0.2em; font-size:1.5em; font-family:'Liberation','monospace';   }
.meta   { background-color:RGB(100,126,102); width:99%;border:1px solid black;            padding-left:0.2em; font-size:1.5em; font-family:'Liberation','monospace';   }
.result { background-color:RGB(164,190,166); width:99%;border:1px solid RGB(100,126,102); padding-left:0.2em; font-size:1.5em; font-family:'Liberation','monospace';   }