.terminalOutput {
  height: calc(100vh - 200px);
  margin: 0;
  min-height: 10em;
  padding: 0;
  position: relative;
}
.terminalButtons {
  /* background: rgba(32, 33, 36, 0.6); */
  background: rgba(0, 57, 0, 0.6);
  color: #fff;
  margin: 0;
  padding: 0;
  position: absolute;
  right: 0;
  top: 0;
  top: 1px;
}
.terminalButtons > button {
  color: #0f0 !important;
}
.terminalButtons > button.Mui-disabled {
  color: #aaa !important;
}
.terminalButtons
  > button.MuiButtonGroup-groupedTextHorizontal:not(:last-child) {
  /* border-color: #777 !important; */
  border-color: #00FF00 !important;
}
.codeContainer {
  background: #011100;
  border: 0.1px solid #00FF00;
  border-radius: 4px;
  display: flex;
  flex-direction: column-reverse;
  height: 100%;
  margin: 0;
  overflow-x: scroll;
  overflow-y: scroll;
  padding: 0;
  resize: vertical;
  width: 100%;
}
.codeContainer::-webkit-scrollbar {
  height: 8px;
  width: 8px;
}
.codeContainer::-webkit-scrollbar-track {
  background: transparent;
  border-radius: 4px;
}
.codeContainer::-webkit-scrollbar-thumb {
  background: #0f0;
  border-radius: 4px;
}
.codeContainer::-webkit-scrollbar-corner {
  background: transparent;
  border-radius: 4px;
}
.codeContainer::-webkit-resizer {
  display: none;
}
code {
  font-family: Roboto Mono, monospace;
  font-weight: 300;
  margin: 0.5rem;
  padding: 0;
}
code > p {
  margin: 0;
  padding: 0;
}
span.time {
  /* color: #aaa; */
  color: #00FF00;
  font-weight: 300;
  /* font-weight: bold; */
  width: 100%;
}
span.output {
  color: #0f0;
}
span.userInput {
  border-bottom: 1px solid;
  /* color: #fbbc05; */
  color: #00FF00;
  display: inline-block;
  font-weight: bold;
  width: 100%;
}
/*# sourceMappingURL=main.ff07d055.css.map*/

.css-j4awbq, .css-1d7sph4, .css-1tvnn44, .css-ohyacs {
  color: #00FF00 !important;
}

.css-1hsj1z {
  color: #FFFFFF !important;
}

.css-1hsj1z:hover {
  color: #000000 !important;
}

.css-14a6j8n {
	background-color: #023500 !important;
	color: #a5ffa5 !important;
}

.css-14a6j8n .MuiAlert-icon {
  color: #00FF00 !important;
}

.css-14vxusc {
  background-color: #00140A !important;
}