body {
  font: 14px "Lucida Grande", Helvetica, Arial, sans-serif;
}

a {
  color: #00B7FF;
}

.container {
  margin: 10px 10px;
}

.rightbox {
  display: flex;
  flex-flow: column;
  max-height: calc(100vh - 80px);
  top: 10px;
  position: sticky;
}

.searchresult {
  flex: 1;
  overflow: auto;
  padding-bottom: 10px;
  padding-top: 10px;
}

#loading {
  background: rgba(0, 0, 0, .5);
  z-index: 10000;
}

.nav-edit {
  background-color: #80397B;
}
.nav-change {
  background-color: #03787C;
}