/* Space to setup configversion */
/* configversion: 2ecca20b604bc0b37d13aba5a0fabc07 */
* {
  font-family: monospace;
  font-size: 15px;
}

window {
  margin: 0px;
  border: 2px solid #005577;
  background-color: #1c1c1c;
}

#input {
  margin: 0px;
  padding: 4px 6px;
  border-radius: 0px;
  border: 1px solid #005577;
  background-color: #383838;
  color: #ffffff;
  font-size: 15px;
  font-weight: bold;
}

#inner-box {
  margin: 0px;
}

#outer-box {
  margin: 1px;
}

#scroll {
  margin: 0px;
  color: #ffdd00;
}

#text {
  margin: 1px 4px;
  color: #ffffff;
}

#entry {
  padding: 3px 2px;
  margin: 0px;
}

#entry:selected {
  background-color: #005577;
  font-weight: bold;
}