#uiua-lang-toggle {
  position: fixed;
  top: 8px;
  right: 8px;
  z-index: 10000;
  padding: 4px 10px;
  font-size: 13px;
  font-family: sans-serif;
  background: #2d3c4a;
  color: #eee;
  border: 1px solid #33577b;
  border-radius: 6px;
  opacity: 0.85;
}

#uiua-lang-toggle:active {
  background: #33577b;
}