.displayInlineFlex {
  display: -ms-inline-flexbox;
  display: -webkit-inline-flex;
  display: inline-flex;
}
.noCursorInteraction {
  cursor: default;
  pointer-events: none;
}
.file-header,
.file-header-ignore {
  font-weight: bold;
  font-size: 1.5rem;
}
.file-header-ignore {
  text-decoration: line-through;
}
.commentRow {
  display: -ms-flexbox;
  display: -webkit-box;
  display: -webkit-flex;
  display: flex;
}
.commentRow > input {
  -ms-flex: 2;
  flex: 2;
  margin: 0 6.4px;
}
.btn-group > .btn-version,
.btn-group > .btn-new,
.btn-group > .btn-delete {
  background-color: #FFFFFF;
  color: #0080C8;
  border-radius: 0;
  background-image: none;
}
.btn-version,
.btn-new,
.btn-delete {
  background-color: #FFFFFF;
  color: #0080C8;
  border-radius: 0;
  background-image: none;
}
.btn-version:active,
.btn-new:active,
.btn-delete:active,
.btn-version .active,
.btn-new .active,
.btn-delete .active,
.btn-version.active:hover,
.btn-new.active:hover,
.btn-delete.active:hover {
  background-color: #DDEDDA;
  border-color: #DDEDDA;
  color: #0080C8;
}
.btn-version:hover,
.btn-new:hover,
.btn-delete:hover,
.btn-version.hover,
.btn-new.hover,
.btn-delete.hover {
  background-color: #FFFFFF;
  color: #0080C8;
}