:root {
  --main-bg: #1f1f1f;
  --light-bg: #212529;
  --secondary-bg: #22303f;
  --tertiary-bg: #3f3f3f;
  --tab-bg: #2f2f2f;
  --text-primary: #fff;
  --text-secondary: #ddd;
  --text-tertiary: #aaa;
  --neutral-color: #555;
  --tab-highlight-off: rgba(255,255,255,0);
  --tab-highlight-on: rgba(255,255,255,1);
  --inset-light: #333;
  --inset-body: #222;
  --inset-dark: #111;
  --light-blue: #33a2e6;
  --stop-red: red;
}
#extra-editor {
  display: flex;
  flex-direction: row;
  align-items: top;
  white-space: pre;
  overflow-y: hidden;
}
#extra-editor>#shell-prompt {
  flex: 0 1 auto;
  font-size: var(--krk-editor-font-size);
  font-family: var(--krk-editor-font-family);
  line-height: normal;
  position: relative;
  max-height: 0px;
}
.prompt-frozen {
  font-size: var(--krk-editor-font-size);
  font-family: var(--krk-editor-font-family);
  white-space: pre;
  display: flex;
  flex-direction: row;
  margin: 0px;
  line-height: normal;
  overflow-y: hidden;
}
.prompt-frozen > .prompt-string {
  position: relative;
  max-height: 0px;
  white-space: pre-wrap;
}
#extra-editor>.ace_editor {
  flex: auto;
}

.ace_print-margin {
  width: 10000px; /* wiiiide */
}
pre {
  line-height: normal;
  margin: 0;
}
.ace_editor .ace_gutter-cell.ace_error { background-color: red; color: white; }
.ace_editor .ace_gutter-cell.ace_warning { background-color: orange; color: black; }
.ace_editor .ace_gutter-cell.ace_info { background-color: #33a2e6; color: white; }

div#output-container > pre {
  white-space: pre-wrap;
  word-break: break-all;
}

div.ace-sunsmoke.ace_editor .ace_marker-layer .ace_bracket {
  display: unset;
  border: 1px solid #ddd;
}

pre.repl {
	color: rgb(100,100,100);
}

.ace_editor.editor {
  margin-left: -4px;
}

@media (orientation: landscape) {
  #output-container {
    width: 758px;
  }
}