main {
  display: flex;
  flex-wrap: nowrap;
}

.bg {
  width: 100vw;
  height: 100vh;
  background-color: rgba(0, 0, 0, .1);
  border: solid rgba(0, 0, 0, .15);
  border-width: 1px 0;
  box-shadow: inset 0 .5em 1.5em rgba(0, 0, 0, .1), inset 0 .125em .5em rgba(0, 0, 0, .15);
}

.cm-full-height > .CodeMirror {
  height: 100% !important;
  position: absolute !important;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;  
}

#diff-text,
.CodeMirror-merge {
  height: 100% !important;
}

.CodeMirror-line.highlighted {
    background-color: #cff4fc !important;
}

.nav-pills .nav-link {
    border-radius: 0 !important;
}