mumuki/mumuki-laboratory

$multifile-active-tab-background-color: #FFF;
$multifile-inactive-tab-background-color: #F7F7F7;
$multifile-active-tab-border-color: #CCCCCC;
$multifile-inactive-tab-border-color: #ECF0F1;

#console {
  position: relative;
}

.editor-code {
  position: relative;
  min-height: 300px;
  max-height: none;
}

body:not(.fullscreen) {
  .CodeMirror-wrap,
  .CodeMirror-scroll {
    height: auto;
    min-height: 300px;
  }
}

body.fullscreen {
  overflow: hidden;
  form.new_solution {
    position: fixed;
    top: 0;
    right: 0;
    left: 0;
    bottom: 0;
    z-index: 120;
    padding: 0;
    margin: 0;
    height: 100vh;
    background: white;
    .editor-code {
      margin: 0;
    }
    .btn-submit {
      display: none;
    }
    .CodeMirror-wrap {
      margin: 0;
      height: 100vh;
      width: 100vw;
    }
    .CodeMirror-scroll {
      height: inherit;
      overflow-y: scroll;
      overflow-x: auto;
    }
  }
}

.editor-files {
  position: relative;
}

.files-tabs {
  display: flex;
  align-items: center;

  .nav-tabs {
    flex-grow: 1;
    margin-left: 30px;
    margin-bottom: -6px;
    border-bottom: 0;
    z-index: 1;

    .file-tab {
      position: relative;
      flex-grow: 1;
      flex-basis: 0;
      white-space: nowrap;
      overflow: hidden;
      text-overflow: ellipsis;

      a {
        white-space: nowrap;
        overflow: hidden;
        text-overflow: ellipsis;
        margin-right: 0;
        padding: 5px 10px;
      }

      .delete-file-button {
        position: absolute;
        right: 16px;
        top: 12px;
        cursor: pointer;
      }

      > a.active {
        background-color: $multifile-active-tab-background-color;
        border: 1px solid $multifile-active-tab-border-color;
        border-bottom: 2px solid transparent;
      }

      > a:not(.active) {
        background-color: $multifile-inactive-tab-background-color;
        border: 1px solid $multifile-inactive-tab-border-color;
        border-bottom: 1px solid $multifile-active-tab-border-color;
        &:hover {
          background-color: $multifile-inactive-tab-border-color;
        }
      }
    }
  }

  .add-file-button {
    margin-left: 16px;
    margin-right: 16px;
    cursor: pointer;
  }
}

.pending-messages-text {
  top: auto;
}