.toggle-switch {
    position: relative;
    display: inline-block;
    width: 50px;
    height: 28px;
  }
  
  .toggle-switch input {
    opacity: 0;
    width: 0;
    height: 0;
  }
  
  .toggle-slider {
    position: absolute;
    cursor: pointer;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: #ccc;
    border-radius: 34px;
    transition: 0.4s;
  }
  
  .toggle-slider::before {
    content: "";
    position: absolute;
    height: 22px;
    width: 22px;
    left: 3px;
    bottom: 3px;
    background-color: white;
    border-radius: 50%;
    transition: 0.4s;
  }
  
  .toggle-switch input:checked + .toggle-slider {
    background-color:  var(--swift-button-primary-background-color);
  }
  
  .toggle-switch input:checked + .toggle-slider::before {
    transform: translateX(22px);
  }
  
  .toggle-switch .input-control label input:checked+span:before {
      box-shadow: inset 0 0 0 0.4375em;
      /* background-color: white; */
  }

  .input-radiobox-container label,
  .input-radio-container input,
  .input-radio-container label {
    cursor: pointer;
  }


.autocomplete-dropdown {
  border: 1px solid #ccc;
  background-color: white;
  max-height: 500px;
  max-width: 800px;
  overflow-y: auto;
  box-shadow: 0 2px 8px rgba(0,0,0,0.15);
  font-size: 14px;
}

.autocomplete-dropdown table {
  width: 100%;
  border-collapse: collapse;
}

.autocomplete-dropdown th,
.autocomplete-dropdown td {
  padding: 6px 8px;
  border-bottom: 1px solid #eee;
}

.autocomplete-dropdown tr:hover {
  background-color: #f5f5f5;
  cursor: pointer;
}

.debugterminal {
  width: 100%;
  height: 300px;

  background-color: #000;     /* black background */
  color: #00ff00;             /* green text */

  font-family: "Consolas", "Courier New", monospace;
  font-size: 14px;
  line-height: 1.4;

  padding: 12px;
  border: none;
  outline: none;
  resize: none;

  box-sizing: border-box;
}

button.retro-btn {
  all: unset;
  background: #00c0c0;
  color: #000;
  font-family: "Tahoma", "Verdana", sans-serif;
  font-size: 14px;

  padding: 6px 14px;
  border: 2px solid #808080;
  border-top-color: #ffffff;
  border-left-color: #ffffff;
  border-right-color: #404040;
  border-bottom-color: #404040;

  cursor: pointer;
}

button.retro-btn:active {
  border-top-color: #404040;
  border-left-color: #404040;
  border-right-color: #ffffff;
  border-bottom-color: #ffffff;
  padding: 7px 13px; /* pressed effect */
}