/* only used in development phase */
.development-header {
 font-size: 12pt;
 background-color: #ffff00;
 color: black;
 text-align: left; 
}

.development-toolbar {
 background-color: #ffff00;
 color: black;
 text-align: right;
 position: fixed;
 width:20%;
 float:right;
 z-index: 1000;
}

.development-parameters {
 background-color: #ffff00;
 color: black;
 font-family: Courier;
 display: none; 
}

.development-parameter-name {
}

.development-parameter-value {
 font-weight: bold; 
}

.development-xml-parameters {
 background-color: #eeee00;
 color: black;
 font-size: 140%;
}
div.development-xml-title {
  font-weight: bold;
  background-color: yellow;
  color: black;
  cursor: pointer;
}
div.development-xml-result {
 background-color: yellow;
 color: black;
 font-size: 140%;
 display: none; /* default setting */
 text-align: left;
 font-family: Courier;
}

a.development-tooltip {
    background-color: yellow;
}
a.mapping-is-okay {
    background-color: yellow;
}
a.mapping-is-not-okay {
    background-color: orange;
}

table.development-debugtable {
  
}
table.development-debugtable tr td {
  border: 1px solid black;
  width: 50%;
}