@import url('https://fonts.googleapis.com/css2?family=Roboto+Condensed:ital,wght@0,100..900;1,100..900&display=swap');
:root {
  --colorN: #666666;
  --color0: #111111;
  --color1: #0E2B58;
  --color2: #b8c7d6;
  --color3: #4FC6DE;
  --color4: #b5ebf5;
  --color5: #e7eff1;
};

html {
  min-height: 100%;
}
body {
  font-family: 'Roboto Condensed', Verdana, sans-serif !important;
  font-size: 1.1rem;
  line-height: 1.15em;
  color: var(--color0);
  padding: 0px;
  margin: 0px;
  background-color: var(--color5);;
  min-width: 350px;
  overflow-x: auto;
}
@media (max-width: 400px){}
*:focus {
  outline: 2px dotted #ff7e7e;
  outline-offset: 5px;
}

div.textareaContainer {
  position: absolute;
  top: 10px;
  left: 10px;
  right: 10px;
  bottom: 100px;
}
div.parallel {
  display: flex;
  flex-direction: row;
  gap: 10px;
  position: absolute;
  top: 10px;
  left: 10px;
  right: 10px;
  bottom: 100px;
}
div.parallel .cell {
  flex: 1;
  position: relative;
}
div.parallel .cell .lang {
  position: absolute;
  top: 18px;
  left: 1px;
  width: 30px;
  padding: 5px;
  background-color: var(--color2);
  color: var(--colorN);
  text-align: center;
  font-size: 14px;
}


textarea {
  width: 100%;
  height: 100%;
  box-sizing: border-box;
  font-family: monospace;
  font-size: 16px;
  line-height: 1.5;
  border: 1px inset var(--color2);
  padding: 20px;
  padding-right: 30px;
  resize: none;
  color: #333333;
}
div.cell textarea {
  padding-left: 50px;
}
textarea:focus {
  outline-offset: 1px;
  color: #000000;
}

div.saving {
  position: absolute;
  bottom: 0;
  left: 0;
  right: 0;
  height: 100px;
  text-align: right;
  padding: 20px 15px;
  box-sizing: border-box;
}
div.saving button[type=submit] {
  font: inherit;
  border: 1px solid var(--color2);
  box-shadow: 0px 0px 5px var(--color2);
  padding: 10px 20px;
  cursor: pointer;
  color: #245583;
  background-color: #ffffff;
  margin-left: 15px;
}
div.saving button[type=submit]:hover {
  color: #3c6c99;
}
div.saving a {
  color: var(--colorN);
}
div.saving a:hover {
  color: #3c6c99;
}