body {
  margin: 0;
}

.credits {
  display: grid;
  justify-content: center;
  align-items: center;
  text-align: center;
  font-family: "Lato", sans-serif;
  letter-spacing: 1px;
  font-size: 1rem;
  text-align: center;
}
.credit {
  color: rgba(0, 0, 0, 0.5);
  font-size: 0.7rem;
  margin-top: 0.5rem;
  margin-bottom: 0;
}
.made-by {
  margin: 0 0;
}
a {
  color: rgba(59, 116, 177, 1);
}

.header {
  position: relative;
  background: linear-gradient(
    60deg,
    rgba(84, 58, 183, 1) 0%,
    rgba(0, 172, 193, 1) 100%
  );
}

h1 {
  font-family: "Lato", sans-serif;
  letter-spacing: 1px;
  font-size: 2.3em;
  color: white;
  text-align: center;
}
#content-container {
  height: 96vh;
  width: 100%;
}
#input-container {
  padding-top: 2vh;
  width: 80vw;
  height: 50vh;
  margin: auto;
}
#editor {
  width: 80vw;
  height: 50vh;
}
.io {
  background-color: white;
  border: 2px solid black;
  box-shadow: 0px 2px 12px rgba(0, 0, 0, 0.2);
  overflow: auto;
  color: black;
  font-family: "Overpass Mono", monospace;
  padding: 10px 10px 10px 10px;
  font-size: 1em;
}
#output-container {
  width: 41vw;
  height: 8vh;
  margin: auto;
  padding-top: 4vh;
  box-shadow: 0px 2px 8px rgba(0, 0, 0, 0.25);
}
#output {
  width: 50vw;
  height: 8vh;
  display: block;
  white-space: pre-wrap;
}
#title {
  padding-top: 0.1vh;
  filter: drop-shadow(0px 0px 4px rgba(0, 0, 0, 0.25));
}
#left-buttons-container {
  margin-left: 10vw;
  margin-top: -8vh;
  color: black;
  font-size: 1.4em;
  display: grid;
  width: 19%;
  gap: 2px;
  grid-template-columns: 1fr 1fr;
  max-width: 230px;
}
#right-buttons-container {
  position: relative;
  width: 5vw;
  margin: auto;
  z-index: 2;
  color: black;
  font-size: 1.4em;
}
#interpret-button {
  min-width: min-content;
}
.hoverable {
  padding: 2px 8px 2px 8px;
  display: block;
  text-align: center;
  transition: color 0.3s, box-shadow 0.3s;
  border: 2px solid black;
  box-shadow: 0px 2px 4px rgba(0, 0, 0, 0.2);
  background-color: white;
  cursor: pointer;
  font-size: 0.75em;
  font-family: "Overpass Mono", monospace;
  z-index: 2;
  width: 100%;
}
.hoverable:hover {
  color: red;
  box-shadow: 0px 2px 8px rgba(0, 0, 0, 0.4);
}
.hoverable:active {
  box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.4);
}
#info {
  text-decoration: none;
  color: black;
  box-sizing: border-box;
}