#context {
  display: flex;
  flex-flow: row nowrap;
  justify-content: center;
  min-height: 50px;
}
#context > * {
  padding: 3px;
}

/* selection */
#selection {
  display: flex;
  flex-flow: row nowrap;
  min-width: 700px;
}
#selection div.info {
  font-family: monospace;
  font-size: large;
}
#selection div.info > button {
  text-align: center;
}
#selection div.info-left > button:nth-child(2) {
  margin-right: 10px;
}
#selection div.info-left > button {
  min-width: 40px;
  min-height: 40px;
}
#selection div.info-right > button:nth-child(1) {
  margin-left: 10px;
}
#selection div.info-right > button {
  min-width: 60px;
  min-height: 40px;
}

/* actions */
#actions {
  min-width: 150px;
}
#actions button {
  min-width: 60px;
  min-height: 40px;
}