.editor {
  min-height: 535px;
}

.codeEditor {
  overflow: hidden;
  min-height: 533px !important;
}

.oPanle {
  height: 267.5px;
}

.output {
  height: 200px;
  overflow-y: scroll;
  overflow-x: hidden;
  font: 1.1rem Inconsolata, monospace;
  text-shadow: 0 0 5px #c8c8c8;
}

.output::-webkit-scrollbar {
  width: 0.2em;
  height: 2em;
}
.output::-webkit-scrollbar-button {
  background: #ccc;
}
.output::-webkit-scrollbar-track-piece {
  background: #888;
}
.output::-webkit-scrollbar-thumb {
  background: #eee;
}
​ .height-100 {
  height: 100%;
}

.errorLog {
  color: red;
}

.result-h5 {
  border-bottom: 1px dashed;
}

.logo-img {
  height: 35px;
}

.sub-header {
  margin-left: 10px;
  font-size: 13px;
}

.feather-16 {
  width: 16px;
  height: 16px;
  margin-right: 4px;
  margin-top: -2px;
}

.modal-fsm {
    width: 365px;
}

.header-45 {
  height: 45px !important;
}

.footer-p {
  height: 45px;
  padding: 0px;
  padding-right: 0.45rem;
}

.run-options {
  padding: 1px;
  border: none;
}

.header-nav {
  height: 45px;
}