.interface {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: 50px;
  background: var(--grey);
  display: flex;
  align-items: center;
  gap: 6px;
  z-index: 20;
  box-sizing: border-box;
}

.margin_interface {
  width: 40px;
  height: 100%;
  background: repeating-linear-gradient(180deg,
      var(--orange) 0 10px,
      var(--purple) 10px 20px,
      var(--blue) 20px 30px,
      var(--green) 30px 40px,
      var(--grey) 40px 50px);
}

.interface div {
  display: flex;
  align-items: center;
  justify-content: center;

  font-size: 1.2rem;
}

.interface_button {
  padding: 3px;
  border: 8px outset;
  border-radius: 10px;
  width: 20px;
  height: 20px;
  line-height: 20px;
  background: var(--grey);
  border-color: var(--grey-border);
  cursor: pointer;
  user-select: none;
  touch-action: manipulation;
}

.interface_button.pressed {
  border-style: inset;
  filter: brightness(0.7) contrast(1.2);
  opacity: 0.9;
}

.interface_button.last_pressed {
  outline: 1px;
}