.btn:focus,
.btn:active:focus,
.btn.active:focus,
.btn.focus,
.btn:active.focus,
.btn.active.focus {
  outline: none;
}
#files-table a.file-link span.glyphicon {
  vertical-align: middle;
  font-size: x-large;
  margin-right: 10px;
}
input.no-mobile-zoom {
  font-size: 16px;
}
div.term-container {
  width: 100%;
  height: 100%;
}
div.term-container div.terminal {
  box-shadow: 0 0 30px rgba(0,0,0,0.7);
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  border-radius: 4px;
}